lambda-calculus

6calore

3risposta

Numeri di chiesa: come codificare lo zero nel calcolo lambda?

Sto imparando lambda calcolo, ma non posso sembrano capire la codifica del numero 0. come è "funzione che prende in una funzione e un secondo valore e applica la funzione zero volte sull'argomento" un

5calore

2risposta

Digitare il combinatore Y

http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html è una definizione concisa del calcolo lambda tipizzato in Prolog. Sembra a posto, ma poi si pretende di assegnare u

8calore

1risposta

Come scrivere una lista vuota usando i combinatori S, K e I?

So che: (cons [p] [q]) is ((s ((s i) (k [p]))) (k [q])) (car [lst]) is ([lst] k) (cdr [lst]) is ([lst] (k i)) Voglio scrivere una lista come questa (cons [a] (cons [b] (cons [c] [nil]))) , che s

15calore

2risposta

Lambda Calcolo

Tutti, Di seguito è l'espressione lambda, che mi sto trovando difficile ridurre vale a dire che non sono in grado di capire come fare per questo problema. (λm λn λa λb m (nab) b.) (Λ f x x.) (Λ f x fx

13calore

1risposta

confusione di Lambda e numeri di chiesa confusione

Sto cercando di capire le basi del calcolo lambda e dei numeri di Chiesa. Ho fatto molta lettura e pratica, ma mi sembra di rimanere bloccato nel cercare di vedere come funzionano alcune funzioni. L'e

5calore

2risposta

Prerequisiti per l'apprendimento del calcolo lambda

Qualcuno può dirmi quali sono i prerequisiti per l'apprendimento del calcolo lambda (se presente)?

8calore

3risposta

Query booleani in lambda calcolo

Questa è la rappresentazione lambda calcolo per l'operatore: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b Qualcuno mi può aiutare a capire questa rappresentazione?

6calore

4risposta

Convergenza di linguaggi matematici e di programmazione

Sembra che ci sia un forte movimento per la convergenza dei linguaggi matematici e di programmazione, questo è notevolmente evidenziato dall'influenza del calcolo lambda sulle lingue moderne. La maggi

15calore

7risposta

Ruota il primo argomento in una funzione per diventare n.

Dato una funzione con almeno n argomenti, voglio ruotare il primo argomento in modo che diventi l'argomento n. Ad esempio (nel calcolo lambda non tipizzato): r(λa. a) = λa. a r(λa. λb. a b) =

5calore

2risposta

Combinatore Y in Schema utilizzando Definisci

Per apprendere cos'è un combinatore a virgola fissa e viene utilizzato per, ho scritto il mio. Ma invece di scrivere con funzioni strettamente anonime, come Wikipedia's example, ho appena usato defini