3 ms·

I’m no longer in a professional engineering position and have a family and toddler so less time for learning about or playing with program languages. Clojure is

by mkw5053 6mo ago

I’m no longer in a professional engineering position and have a family and toddler so less time for learning about or playing with program languages. Clojure is what really made me first start thinking about programming languages and down the rabbit hole of scala and Haskell and idris and type theory books. Which are incredible and I can’t recommend more and also not remotely practical.

chii 6mo ago
> also not remotely practical. studying them makes you smarter, which makes you better at using the practical stuff.
- TurboHaskal 6mo ago
  It also makes you bitter, at least in my experience.
- mkw5053 6mo ago
  Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.