Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:typ

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: 2015/10/05 16:55 (Externe Bearbeitung)