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: 24.09.2014 16:41 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki