Si quieres aprender un poco de teoría de tipos o conceptos de FP sin mucho cerebro elitista de PLT asociado, no busques más. Tener código de bajo nivel real que puedas explorar junto a descripciones formales facilita mucho la comprensión.