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

> also not remotely practical.

studying them makes you smarter, which makes you better at using the practical stuff.



It also makes you bitter, at least in my experience.


Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.




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

Search: