Hacker News with Generative AI: Dependent Types

Ada's dependent types, and its types as a whole (nytpu.com)
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types:
Programming Languages, Dependent Types, Types, Fediverse, Wikipedia
256 points by nytpu 21 days ago | 139 comments
Dependent Types and the Art of HTTP Headers (unwoundstack.com)
Making illegal state unrepresentable in Idris
Dependent Types, Programming Languages, Functional Programming, Idris, HTTP
41 points by todsacerdoti 51 days ago | 0 comments
Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)
Programming Languages, Dependent Types, Tagless Final, Self-Aware Systems
22 points by vg_head 270 days ago | 2 comments