Deutsche Bezeichnungen für Begriffe aus der Typtheorie

Question

In der Informatik hat man Variablen verschiedenen Typs, wie z.B. Bool (Typ von True), String (Typ von "abc") oder Maybe. Manche Programmiersprachen unterscheiden neben Typen jedoch auch kinds, sozusagen Typen von Typen. Z.B. ist in Haskell das kind von Bool * und das von Maybe * -> *. In wenigen Sprachen geht man noch weiter und definiert sorts, Typen von kinds, also quasi Typen von Typen von Typen.

Ich frage mich, ob es neben der im Englischen angewandten Nomenklatur type, kind, sort auch allgemein anerkannte Bezeichnungen für Typen, Typen von Typen und Typen von Typ-Typen gibt. Wenn es diese nicht gibt, hat jemand eine Idee, wie man diese nennen könnte, ohne häßliche Anglizismen verwenden zu müssen?

Answer 1

It's always a bit difficult to translate this kind of thing, but here's how I understand they should be translated:

• A type is called Typ or Datentyp (e.g. Bool)
• In order to distinguish primitive from compound types, they're also called Elementare Datentypen
• A type containing other types is called a Container or Abstrakter Datentyp (e.g List)
• A compound type / composite from primitive types is called Verbund (e.g. Struct [Struktur])
• A Type of a Type is called Art (kind)
• Types of the * kind are called Grundtypen

• Types of the a -> b kind are called Konstruktoren or Typkonstruktoren, where a and b are kinds, or Arten.

  If you combine them into classes, they're called Typkonstruktorklassen (e.g. Functor)

• The element type is just called Elementtyp, the index type is just Indextyp.

This is from a Haskell class. Of course professors choose to call them different things, and since they are often newly coined, or seldom translated, there might not be an entirely correct answer. You can only gauge their correctness on usage. Even english usage varies from time to time.

By inference, and because I can't find any reference to a German translation:

• Sorts should be called Artentypen

In english, they're often just called "types of Kinds", rather than "sorts", so, I'll just assert that Artentypen is as correct as any other term. Most importantly: it will be understood properly. Note: "Typenarten" would mean "kinds of types".

These articles might contain some useful words to borrow:

• Kategorientheorie
• Funktionale Programmierung
• Typinferenz

Answer 2

In der Mathematik ist das vorsetzen des Präfixes Meta die übliche Form um zur abstrakteren Ebene überzugehen. Das lässt sich auch wiederholt anwenden. Z.B. Metatyp, Metametatyp, usw.. Ich habe allerdings keine Ahnung, welcher Sprachgebrauch in der Typtheorie üblich ist.

Answer 3

Aus meiner Sicht ist die Fragestellung etwas verwirrend. Nach meiner Interpretation zielt sie auf die sprachliche Unterscheidung zwischen sogenannten Basistypen und polymorphen Typen ab.

Man sollte sich hier veranschaulichen, dass die o.g. Phrasen dem Zweck dienen, die Abhängigkeit beziehungsweise Vererbungsstruktur zwischen Objekten zu spezifizieren. Die Mehrfachvererbung ist ein Versuch "wirkliche" Objektrelationen programmatisch abzubilden. Aus meiner Sicht wurden, um das Thema verständlicher zu gestalten, Hilfsbezeichnungen ("verhält sich wie", "ist ein", "kind of", "sort of", usw.) geschaffen, welche - falsch verstanden - mehr zur Verwirrung, denn zur Klärung der Sachverhalte beitragen.

Zur Lösung: eine direkte Übersetzung der Bezeichnung ist ebenso möglich, wie die Reduktion auf eine direkte Beschreibung des Sachverhalts. Es gibt in diesem Fall keine Unterscheidung zwischen verschiedenen Ursprüngen der Relation.

• Ein Boot ist vom Typ Wasserfahrzeug/ ein Boot ist ein Erbe von Wasserfahrzeug/ ein Boot verhält sich wie ein Wasserfahrzeug.
• Ein Auto ist vom Typ Landfahrzeug/ ein Auto ist ein Erbe von Landfahrzeug/ ein Boot verhält sich wie ein Landfahrzeug.
• Ein Amphibienfahrzeug ist vom Typ Landfahrzeug und Wasserfahrzeug/ ein Amphibienfahrzeug ist ein Erbe von Landfahrzeug und von Wasserfahrzeug/ ein Amphibienfahrzeug verhält sich wie ein Landfahrzeug und wie ein Wasserfahrzeug.

Ausschlaggebend ist hierbei, dass zur Beschreibung die Begrifflichkeiten gewählt werden, welche optimal zu dem Kontext der Darstellung passen.