Domande taggate «lisp»

Relazione storica tra Typed Lambda Calculus e Lisp?

Recentemente ho avuto una discussione con un amico (che è un sostenitore di linguaggi fortemente tipizzati). Ha fatto il commento: Gli inventori di Lambda Calculus hanno sempre voluto che fosse digitato. Ora possiamo vedere che la Chiesa era associata al Calcolo Lambda semplicemente tipizzato . In effetti, sembra che abbia …

16 lambda-calculus church-turing-thesis lisp typed-lambda-calculus

L'equivalenza contestuale di una lingua con `quote` -`eval` è banale o no?

In [1], Mitchell Wand ha dimostrato che l'aggiunta di fexprs al puro calcolo lambda banalizza la teoria dell'equivalenza contestuale, il che significa che due termini sono contestualmente equivalenti se sono congruenti. Quando esplorando collegato lavoro, è andato "il nostro risultato si estende una vecchia osservazione di Albert Meyer [2] che …

13 pl.programming-languages lisp scheme

In che modo Lambda Calculus è un tipo specifico di sistema di Term Writing?

Ora possiamo vedere che la Chiesa era associata al Calcolo Lambda semplicemente tipizzato . In effetti, sembra che abbia spiegato il calcolo lambda semplicemente tipizzato al fine di ridurre i malintesi sul calcolo lambda. Ora quando John McCarthy ha creato Lisp, lo ha basato sul Lambda Calculus . Questo è …

13 lambda-calculus term-rewriting-systems lisp

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.