Se você quer aprender um pouco sobre teoria dos tipos ou conceitos de FP sem toda a confusão elitista de PLT associada a isso - não procure mais. Ter código de baixo nível real que você pode explorar lado a lado com descrições formais torna a compreensão muito mais fácil.