Jeśli chcesz nauczyć się trochę teorii typów lub koncepcji FP bez całej elitarniej paplaniny PLT - nie szukaj dalej. Posiadanie rzeczywistego kodu niskiego poziomu, który możesz porównywać z formalnymi opisami, znacznie ułatwia zrozumienie.