Great to see. Idris is pretty much the final frontier for what I see value in be... | Hacker News

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

		hood_syntax on Nov 30, 2016 \| parent \| context \| favorite \| on: Towards Idris Version 1.0 Great to see. Idris is pretty much the final frontier for what I see value in becoming comfortable with as far as functional programming goes. Hopefully it gets more momentum moving forward.

the_duke on Nov 30, 2016 [–]

The post says "Idris is still primarily a research project".

So I wouldn't count on too much momentum. ;)

hood_syntax on Nov 30, 2016 | [–]

Well, you're right. But that's where Haskell came from, so I'm not giving up hope just yet!

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