engl.: type

Ein Typ (engl. type) fasst Werte zusammen, auf denen die gleichen Funktionsanwendungen zulässig sind.

Typisierte Sprachen besitzen ein Typsystem, das für jeden Wert festlegt, welchen Typ er hat.

In funktionalen Programmiersprachen gibt es drei Arten von Werten bzw. Typen, mit denen man rechnen kann:

• Basisdatentypen (Int, Bool, String, …)
• benutzerdefinierte, insbesondere rekursive Datentypen
• Funktionstypen, z.B. Int → Bool oder (Int → Int) → (Int → Int)