combinatory-logic

Die kombinatorische Logik ist ein Rechenmodell, das dem Lambda-Kalkül entspricht, jedoch ohne Abstraktion.
1
Antwort

Tippe Inferenz für ein Scala-Kombinator-Kalkül-Datenmodell ein

Ich probiere eine sehr leichte Codierung der Kombinatorrechnung in scala aus. Zunächst implementiere ich einfach die S- und K-Kombinatoren, die Anwendung und die konstanten Werte. Später hoffe ich, die Skalafunktionen anzuheben und die Auswertun...
25.12.2010, 01:21