Wenn du ein wenig Typentheorie oder FP-Konzepte lernen möchtest, ohne viel elitistischen PLT-Blödsinn, dann schau nicht weiter. Tatsächlich vorhandener Low-Level-Code, den du neben den formalen Beschreibungen betrachten kannst, macht das Verständnis so viel einfacher.