News for hackers. Stuff that matters.
Re:Rabbit Holes: The Secret to Technical Expertise by tombert on Monday August 26, 2019 @10:05AM (#20799941)
Rabbit holes are why I grew to love Haskell and pure-functional programming in general. For better or worse, Haskell (Agda, Idris...) doesn't let you compromise very often.

You could argue that this is terrible for productivity, and you might be right, but at the same time, means that a lot of people have done a lot of research on how to do things the "right" way in Haskell, and any project I've done with the language has led me to learning a whole slew of new things about type theory, category theory, and PL theory in general, which I can then take and apply to "productive" languages.

Re:Rabbit Holes: The Secret to Technical Expertise by shanemhansen on Monday August 26, 2019 @03:59PM (#20803143)
This aligns precisely with a memorable interview I gave to a PhD student who wanted to do an internship at a startup.

"The thing I love about Haskell is that even the simplest things become research projects"

However I understand where you are coming from. There's something to be said for environments that encourage learning.

Re:Rabbit Holes: The Secret to Technical Expertise by tombert on Tuesday August 27, 2019 @10:05AM (#20809690)
Every now and then I get mildly embarrassed because someone has managed to summarize my long-windedness to a beautiful and elegant sentence. The line "The thing I love about Haskell is that even the simplest things become research projects" has done that. I'm going to steal that.