Si quieres aprender un poco de teoría de tipos o conceptos de FP sin toda la basura elitista de PLT asociada, no busques más. Tener código de bajo nivel real que puedas examinar junto a descripciones formales hace que la comprensión sea mucho más fácil.