Domande con tag 'lambda-calculus'

domande con tag
2
risposte

Qual è la relazione tra lambda calcolo e linguaggi di programmazione? [chiuso]

Sto iniziando il mio primo anno (al college) in Informatica il prossimo anno e scrivo principalmente in C (se questo è importante). Ho provato a cercare ma la maggior parte di ciò che trovo presuppone la conoscenza del calcolo lambda. Perché il...
posta 18.10.2014 - 23:23
3
risposte

Espressioni lambda senza parametri in Haskell e / o lambda calcolo

In linguaggi desiderosi come Scheme e Python, puoi usare un'espressione lambda senza parametri per ritardare la valutazione, ad es. in Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1...
posta 23.09.2014 - 23:07
3
risposte

Se Scheme non è tipizzato, come può avere numeri e liste?

Si dice che lo schema sia solo un'estensione del Calcolo Lambda non tipizzato (correggimi se sbaglio). Se questo è il caso, come può avere liste e numeri? Quelli, per me, sembrano 2 tipi di base. Quindi direi che Racket è in realtà un'estensione...
posta 29.05.2014 - 22:11
2
risposte

Qual è l'equivalente del progetto The Little Lisper in Haskell?

Nel libro The Little Lisper , si implementa uno schema minimo in 10 capitoli in grado di interpretare qualsiasi capitolo nel libro. Per me sembra che tu possa fare lo stesso per un "sottoinsieme minimo di un linguaggio tipizzato" come auto-b...
posta 19.01.2016 - 06:51
2
risposte

Ricorsione generale alla ricorsione in coda

È teoricamente possibile trasformare ogni tipo di ricorsione generale in ricorsione di coda? Sono equivalenti per esempio dal punto di vista del lambda-calcolo? Questo è un dibattito tra me e un conoscente. La mia opinione è che non è possibi...
posta 17.07.2014 - 20:41
1
risposta

Notazione / Meta lingua per esprimere un algoritmo

Ho bisogno di imparare un linguaggio notazionale, così posso esprimere e possibilmente dimostrare la correttezza di quello che ritengo sia un complicato algoritmo che distribuisce un aggiustamento del credito tra più bollette dell'acqua in ordin...
posta 01.08.2014 - 23:31
1
risposta

Generazione di un'espressione lambda ridotta in Java

Buongiorno, sono un principiante in Java e mi chiedevo se, in Java, sarei in grado di fare una riduzione beta con una determinata espressione lambda in Java. Fondamentalmente la riduzione lambda è così: 1.) Espressione: (λa.abc) x Espressio...
posta 21.12.2016 - 03:08
2
risposte

calcolo lambda: chiamata per valore / chiamata per nome (pigro)

Difficoltà a decidere quali regole applicare per valore / per nome evaulazione. Dì che ho: (λz.zz)(λb.b) E voglio valutare secondo call by valute, il prossimo passo sarà (λz.z)(λb.b) (valuta il lato sinistro - z si applica su z), o (...
posta 05.04.2016 - 19:14
1
risposta

Quale approccio algoritmo dovrei prendere per generare espressioni Lambda in Java?

Buon giorno, sto cercando di trovare un modo per programmare un generatore di espressioni lambda in java con questa grammatica context-free, e vorrei chiedere; quale sarebbe il modo migliore per affrontare questo problema ed essere in grado di...
posta 12.09.2016 - 09:26