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

Hacker News new | past | comments | ask | show | jobs | submit

login

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!

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact