Das Curry-Buch

Stichwortverzeichnis

Symbole

!=-(Operator), Rekursives reduce

!==-(Operator), Rekursives reduce

+ (math. Operator), Präfix, Infix, Stelligkeit

==-(Operator), Rekursives reduce

===-(Operator), Rekursives reduce

|| (Oder-Operator), Automatische Curryfizierung

λ (Lambda), Ausdrücke im Lambda-Kalkül

A

abhängige

Typen, Die Welt der funktionalen Sprachen abseits von JavaScript

abstrakter Syntaxbaum, Left- und Right-Reduce, Lambda-Ausdrücke in JavaScript, Stärkere Typen für JavaScript

Abstraktion, Hinein ins Vergnügen, Modellierung: Theorie und Praxis

Codeblock, Abstraktion von einem Wert: Variablen

Abstraktionsmechanismen, Hinein ins Vergnügen

Ad-hoc-Polymorphismus, Primitive Datentypen versus Objekte, Universeller Polymorphismus

Agda, Die Welt der funktionalen Sprachen ...