F# ist eine statisch typisierte, funktionale Sprache für die .NET Umgebung. Wir werden sehen wie Typen, uns auf dem Weg zu korrekten Implementierung, leiten können. Wir werden sehen, wie wir unsere Domäne, mithilfe von (algebraischen) Datentypen modelieren können und werfen einen Blick auf Rekursion und Funktionen höherer Ordnung. Abschließend benutzen wir die in F# eingebauen Units of Measure (Maßeinheiten) um typsichere Arithmetik zu programmieren.