8calore
2risposta
Definizione di una struttura di dati stack e delle sue operazioni principali nel calcolo lambda
14calore
1risposta
Ho implementato Y-combinator usando C# dynamic, e se non l'ho, che cos'è?
8calore
3risposta
Y Combinator: Alcune funzioni non hanno punti fissi
11calore
3risposta
Combinatore di punti fissi per funzioni reciprocamente ricorsive?
21calore
4risposta
Perché il tipo di questa funzione (a -> a) -> a?
22calore
1risposta
Utilizzando la Y Combinator in C#
16calore
2risposta
29calore
2risposta
Discussione combinatore in "The Little Schemer"
5calore
1risposta
Esprimendo Y in termini di Combinatori SKI in JavaScript
12calore
4risposta
Perché GHC rende la correzione così confusa?