Yes, the author mentioned Idris shortly afterwards, but I get the impression tha... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		devrandomguy on May 5, 2017 \| parent \| context \| favorite \| on: I tried Haskell for 5 years Yes, 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 on May 5, 2017 [–]

There's also agda and coq, at various points on the spectrum between programming language and theorem prover.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact