nytpu.com personal blog
Ada's dependent types, and its types as a whole
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types :
- Points
- 256
- HN comments
- 139
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 28, 2024 | Ada's dependent types, and its types as a whole by nytpu | 256 | 139 |
