Hacker News with Generative AI: Dependent Types
« Back to main
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 7 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 226 days ago |
2 comments