gadt

20Hitze

2Antwort

Wie kann ich die Freigabe in einem GADT wiederherstellen?

In Type-Safe Observable Sharing in Haskell Andy Gill zeigt, wie die Freigabe, die auf dem Haskell-Ebene existiert, in einem DSL wiederherzustellen. Seine Lösung ist in der data-reify package implement

6Hitze

1Antwort

Ich kann meinen GADT-basierten dynamischen Spielzeugtyp nicht mit parametrischen Typen arbeiten

Um mir einige der fortgeschrittenen Haskell/GHC-Funktionen und -Konzepte näher zu bringen, entschied ich mich für eine funktionierende GADT-basierte Implementierung von dynamisch getippte Daten und er

13Hitze

2Antwort

GADTs vs. MultiParamTypeClasses

Ich versuche zu verstehen GADTs, und ich habe die GADTs example in GHC-Handbuch angeschaut. Soweit ich das beurteilen kann, ist es möglich, die gleiche Sache mit MultiParamTypeClasses zu tun: {-# LANG

9Hitze

1Antwort

Runtime Vergleich von Typen für das Anheben polymorphe Datenstrukturen in GADTs

Angenommen, definieren wir einen GADT zum Vergleich von Typen: data EQT a b where Witness :: EQT a a Ist es dann möglich, eine Funktion EQT mit folgenden Art Unterschrift zu erklären: eqt :: (T

5Hitze

1Antwort

nicht typisierten Darstellung eines DSL in getippten Darstellung

eine einfache Sprache gegeben Transforming, sagen data E where ValE :: Typeable a => a -> E AppE :: E -> E -> E ist es dann möglich, sie in eine typisierte Darstellung zu transformieren: d

8Hitze

1Antwort

wie man Zeichenketten zum Syntaxbaum mit GADTs analysieren

Ich las GADT Einleitung here und es fand ich die Idee des Beschränkens des Programmierers, um nur richtigen Typ des Syntaxbaums groß zu schaffen, und ich legte diese Idee in meinen einfachen Lambda-Ka

14Hitze

1Antwort

Haskell Pattern Matching auf GADTs mit Data Kinds

Ich habe festgestellt, dass ich GADTs mit Data Kinds kombiniere, da es mir mehr Sicherheit gibt (für die meisten Anwendungen fast so gut wie Coq, Agda et al.). Leider schlägt die Mustererkennung bei d

7Hitze

1Antwort

Existenzielle Quantifizierung in Funktionsrückgabetypen simulieren

Manchmal komme ich auf die Notwendigkeit, Werte eines existentiell quantifizierten Typs zurückzugeben. Dies passiert am häufigsten, wenn ich mit Phantom-Typen arbeite (zum Beispiel, um die Tiefe eines