Якщо хочеш вивчити теорію типів або концепції FP без надмірної елітарної PLT ініціативи — не шукай далі. Наявність справжнього низькорівневого коду, який можна порівнювати з формальними описами, значно полегшує розуміння.