Inhaltsverzeichnis

... [ GADTs in Haskell ] ... [ << GADTs in Haskell ] ... [ Einleitung >> ] ...   GADTs in Haskell Inhaltsverzeichnis Einleitung Worum geht es? Vorwort Ziele Von ADTs zu GADTs ADTs Phantomtypen Einschränkung von Typparametern Erweiterung der Rückgabetypen Beispiele für GADTs Vorwort Sichere Listen Gemischte Listen Abstrakte Syntaxbäume Vektoren Verwandte Themen Einleitung (Verwandte Themen) Associated Types Dependent Types Fazit Link-Sammlung  ... [ GADTs in Haskell ] ... [ << GADTs in Haskell ] ... [ Einleitung >> ] ... [ nach oben ] ...