3 ms·
> Types / Type-driven development Rating: Best in class > Haskell definitely does not have the most advanced type system (not even close if you count research
by devrandomguy 9y ago
> Types / Type-driven development Rating: Best in class
> Haskell definitely does not have the most advanced type system (not even close if you count research languages) but out of all languages that are actually used in production Haskell is probably at the top.
What are these other research languages, that have such incredible type systems? Do they usually have implemented compilers, or would they only be described in an abstract form? Can I explore them for fun and curiosity?
- tines 9y agoThe fact that he mentions type driven development probably means that he has dependent typing around, probably as seen in the language Idris, whose recently published book is called the same. Idris is very much not just an abstract language.
- devrandomguy 9y agoYes, the author mentioned Idris shortly afterwards, but I get the impression that this is just the tip of an iceberg. Idris was presented as the one example that is most likely to evolve from a research-only language, to a production language.
- dllthomas 9y agoThere's also agda and coq, at various points on the spectrum between programming language and theorem prover.