Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:typ

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:typ [2017/09/26 10:20]
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)
  
glossar/typ.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)