Si vous souhaitez apprendre un peu de théorie des types ou des concepts de programmation fonctionnelle sans tout le discours élitiste de la théorie des langages de programmation - ne cherchez pas plus loin. Avoir du code bas niveau réel que vous pouvez explorer côte à côte avec des descriptions formelles rend la compréhension tellement plus facile.