Als «lambda-calculus» getaggte Fragen

Welche Beziehung besteht zwischen Lambda-Kalkül und Programmiersprachen? [geschlossen]

Geschlossen . Diese Frage muss gezielter gestellt werden . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 5 Jahren . Ich beginne nächstes Jahr mein erstes Studienjahr …

13 programming-languages computer-science lambda-calculus

Was ist λ-Kalkül im Wesentlichen?

Ich habe eine philosophische Frage zum λ-Kalkül. Wenn Sie λ-Kalkül erforschen, werden Sie überrascht sein, all die Dinge zu sehen, die Sie dort tun können. Sie können Ganzzahlen, arithmetische Operationen, Boolesche Werte, Wenn-Dann-Sonst-Anweisungen, Schleifen, rekursive Funktionen usw. definieren. Ich glaube, dies hat sich als rechnerisch vollständig erwiesen. Wenn Sie jedoch …

11 computer-science lambda-calculus

Lambda-Ausdrücke ohne Parameter in der Haskell- und / oder Lambda-Rechnung

In eifrigen Sprachen wie Scheme und Python können Sie einen Lambda-Ausdruck ohne Parameter verwenden, um die Auswertung zu verzögern, z. B. in Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) #;3> (t) 2 In Zeile 2 twird an den nicht bewerteten …

9 python haskell scheme lambda lambda-calculus

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.