Domande taggate «lambda-calculus»

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

Chiuso . Questa domanda deve essere più focalizzata . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che si concentri su un problema solo modificando questo post . Chiuso 5 anni fa . Sto iniziando il mio primo anno (al college) in Informatica il …

13 programming-languages computer-science lambda-calculus

Che cos'è essenzialmente il calcolo λ?

Ho quella che definirei una domanda filosofica su λ-calculus. Quando esplori il calcolo λ rimarrai sorpreso nel vedere tutte le cose che puoi fare lì. È possibile definire numeri interi, operazioni aritmetiche, valori booleani, istruzioni if-then-else, loop, funzioni ricorsive, ecc. Credo che sia stato dimostrato computazionalmente completo. D'altra parte, se …

11 computer-science lambda-calculus

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.