4 ms·
The first time I tried to learn Lisp, I felt like my IQ had dropped to about room temperature. It took me years to get it, trying again every couple of months.
by michaelochurch 11y ago
The first time I tried to learn Lisp, I felt like my IQ had dropped to about room temperature. It took me years to get it, trying again every couple of months. Eventually, I did get it.
Next stop is Haskell. :)
If it makes you feel better, the people who seem to be really smart have the same roadblocks, false starts, and struggles... if not more of them, just as world-class marathoners (while they run the distance faster than most of us could) are still exhausted at the end of a race, because they run so hard.
It wasn't until my late 20s that I "got" that this sense of exhaustion is often a good thing. At least the exhaustion that comes from solving hard problems is a good thing; the kind that comes from political flare-ups and open-plan offices is pretty useless as far as I can tell.
- eru 11y agoAfter Haskell, Agda and Idris.
- michaelochurch 11y agoPossibly Coq but I've heard that it's really hard.
- eru 11y agoSimilar-ish ideas in Coq, Agda, Idris and Isabelle. Or at least, they are trying to solve similar problems.
- krylon 11y agoAlas, Haskell has resisted my attempts at learning it far longer than Lisp. If I wanted to go in that general direction, I guess, I would look at OCaml, which seems to offer many of Haskell's benefits without being quite that weird.