6calore
2risposta
Come inferire manualmente il tipo di '(.). (.). (.) '?
6calore
1risposta
La versione pointfree non viene compilata, ma quella puntuale?
5calore
3risposta
Combinatore di mappe C++ funzionale con auto
6calore
4risposta
Definire il combinatore di punti fissi in Continuation Passing Style
12calore
4risposta
Perché GHC rende la correzione così confusa?
5calore
1risposta
Attuazione del calcolo combinatore
15calore
2risposta
8calore
2risposta
Definizione di una struttura di dati stack e delle sue operazioni principali nel calcolo lambda
13calore
1risposta
(Kestrel) K-combinator: perché è utile?
5calore
3risposta
Funzioni specifiche di ordine superiore con foldr e foldl