Hier werden die Unterschiede zwischen zwei Versionen gezeigt.
— |
glossar:typ [2017/09/26 10:20] (aktuell) |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
+ | ====== Typ ====== | ||
+ | //engl.:// **type** | ||
+ | ===== Bedeutung ====== | ||
+ | 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. | ||
+ | |||
+ | ===== Bemerkungen ===== | ||
+ | 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) | ||