Domande taggate «lambda-calculus»

λ-calculus è un sistema formale per la definizione della funzione, l'applicazione della funzione e la ricorsione che costituisce la base matematica della programmazione funzionale.

2
Caratterizzazione di termini lambda che hanno tipi di unione
Molti libri di testo trattano i tipi di intersezione nel calcolo lambda. Le regole di digitazione per l'intersezione possono essere definite come segue (in cima al calcolo lambda semplicemente digitato con sottotipo): Γ ⊢ M: T1Γ ⊢ M: T2Γ ⊢ M: T1∧ T2( ∧ I)Γ ⊢ M: ⊤( ⊤ I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧io)Γ⊢M:⊤(⊤io) …
4
Derivazione chiara e intuitiva del combinatore a punto fisso (combinatore a Y)?
Il combinatore a virgola fissa FIX (noto anche come il combinatore Y) nel calcolo lambda (non tipizzato) ( λλ\lambda ) è definito come: FIX ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Capisco …
5
-calcolo con riflessione
Sto cercando un semplice calcolo che supporti il ​​ragionamento sulla riflessione , ovvero l'introspezione e la manipolazione dei programmi in esecuzione. Esiste un'estensione -calculus non tipizzata che consente di convertire -terms in una forma che può essere sintatticamente manipolata e successivamente valutata?λλ\lambdaλλ\lambda Immagino che il calcolo abbia due principali termini …
5
Perché i linguaggi funzionali di Turing sono completi?
Forse la mia comprensione limitata dell'argomento non è corretta, ma questo è quello che ho capito finora: La programmazione funzionale si basa su Lambda Calculus, formulato da Alonzo Church. La programmazione imperativa si basa sul modello della macchina di Turing, realizzato da Alan Turing, studente della Chiesa. Il calcolo Lambda …
2
Cos'è l'equivalenza beta?
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Nello script che sto leggendo sul calcolo lambda, l'equivalenza beta è definita come questa: Il -equivalence è l'equivalenza più piccolo che contiene .≡ β …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.