Material für das Lernen GADT

Question

begann ich, über GADT in Haskell Wiki zu lesen, aber nicht das Gefühl recht komfortabel zu verstehen. Haben Sie ein bestimmtes Buch Kapitel oder einen Blogeintrag empfehlen erklärt GADT für einen Haskell Anfänger?

Answer 1

Apfelmus hat Video-Tutorial für GADTs denen könnte hilfreich sein.

Answer 2

I wie das Beispiel in der

Dies ermöglicht Haskells statische Überprüfung zu behaupten, dass Ihre „Compiler übergibt“ oder was nicht, wird als Typ zu erhalten. Funktionen objektsprachlichen Benennungen nehmen können diese Begriffe übernehmen sind gut getippt. Funktionen objektsprachlichen Benennungen Rückkehr erforderlich sind gut getippt Bedingungen zu produzieren.

Muster einen GADT Konstruktor passende verursacht Art Verfeinerung. eval hat Typen Term a -> a insgesamt, aber die rechte Seite für eval (Lit i) hat Typen Int, weil die linke Konstruktortyp Term Int hatte.

Die Haskell-System kümmert sich nicht darum, welche Arten Sie geben Ihre GADT Konstrukteure. Wir konnten einfach machen, wie leicht jeden Konstruktor in data Term a einem Ergebnis vom Typ Term a geben, oder Term Bool und die data Definition würde noch gehen. Aber wir wären nicht in der Lage eval :: Term a -> a zu schreiben. Sie wählen die GADT "Tag-Typen" zu Modell Ihre Problem, so dass die nützlichen Funktionen, die Sie schreiben möchten sind gut getippt.

Answer 3

Weitere Links:

• http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype
• http: //www.comlab.ox. ac.uk/people/ralf.hinze/talks/FOP.pdf

Answer 4

Die Haskell Wiki GADTs für Dummies die beste Erklärung, die ich gesehen habe.

Das Problem, das ich (und ich vermute, andere) mit den meisten Einführungen haben ist, dass sie Beispiele für GADTs in Bezug auf die Syntax zeigen, die nicht offensichtlich ist , bis Sie GADTs verstehen . Dies macht die einfachsten Beispiele, an dem alles besonders schwer zu voll gebaut verstehen-Sie an, was viele der Muster erraten kann tun, aber die genaue Rolle von jeder Aussage zu verstehen, ist eine Herausforderung.

Die „für Dummies“ post seziert und baut die Bedeutung der Syntax auf dem Weg seine eigenen grundlegende Beispiele zu erklären, was es macht einen weitaus nützlicher Ausgangspunkt. Ich kann es sehr empfehlen.