Hacker News new | ask | show | jobs
by chii 58 days ago
> also not remotely practical.

studying them makes you smarter, which makes you better at using the practical stuff.
2 comments
TurboHaskal 58 days ago
It also makes you bitter, at least in my experience.
link
mkw5053 57 days ago
Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.
link