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:
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types:
Dependent Types and the Art of HTTP Headers
(unwoundstack.com)
Making illegal state unrepresentable in Idris
Making illegal state unrepresentable in Idris