Der Lambda-Kalkül

In diesem Kurs lernst du zunächst, dass alles als Funktion dargestellt werden kann. Es gibt einige Regeln, wenn man Parameter in Funktionen einsetzt. Nachdem wir uns mit diesen vertraut gemacht haben, sehen wir uns die Darstellung von Variablen als Funktionen an.

Zum Schluss sehen wir uns noch Typsysteme an, die in der Praxis in Compilern und Interpreten eingesetzt werden, um den Typ von Variablen und Funktionen zu inferieren.