Hacker News with Generative AI: Dependent Types

The Lisp in the Cellar: Dependent types that live upstairs [pdf] (zenodo.org)
Programming Languages, Functional Programming, Dependent Types
88 points by todsacerdoti 39 days ago | 19 comments
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 182 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 212 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 432 days ago | 2 comments