Yep the recommendations are very good. Functional Core, Imperative Shell stands out for me, as well as the Computation series which gave me a very good understa

Yep the recommendations are very good. Functional Core, Imperative Shell stands out for me, as well as the Computation series which gave me a very good understanding of lambda calculus stuff, coming from a nearly zero base knowledge.