Å·±¦ÓéÀÖ

great exercises. learned a ton.

first half is very straightforward- in hindsight, it felt mostly like list comprehension and other things which greatly improved my python programming. Being able to reason about maybes and functors makes a lot of basic programming things easier. The basic philosophy of most programming examples in the book is to "write backwards" with black boxes: if you can decompose a task into foo then bar, literally write down \x -> bar (foo x) before you write down anything else (certainly before you bother implementing the functions foo and bar). This philosophy also greatly improved my python programming.

Second half is where it gets weird-- applicative is really difficult for me let alone monads. but I've made leaps and bounds and now applicative is much less difficult for me and i can even reason about monads pretty well.

of course, it's important to do all the exercises! In 2018 I did all the exercises from part 1 and did a cursory reading of part 2, didn't return to do the part 2 exercises until late 2019. I'm excited to see how the latter's exposure to applicatives, monads, and parsing will effect my programming into 2020.

The last few chapters are some pretty serious PLT stuff that I fortunately learned in previous grinds at OPLSS and the first volume of Software Foundations, but they'd be really slow going if you weren't previously exposed to the concepts and methods.

Recommended to any programmer for sure.