Se vuoi imparare un po' di teoria dei tipi o concetti di programmazione funzionale senza tutto il cervello elitario della PLT attaccato, non cercare oltre. Avere codice effettivo a basso livello che puoi esaminare affiancato a descrizioni formali rende la comprensione molto più facile.