gadt

7calore

1risposta

makeLenses per GADT (Haskell)

Esiste un equivalente di makeLenses per GADT? Se ho un semplice GADT come: data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b C'è un modo per generare automaticamente le lenti passando i

haskell gadt lenses 2015-01-26

---

9calore

1risposta

Come risolvere l'ambiguità nei miei GADT

Ho due GADT che sto usando per modellare una SQL EDSL. Per mantenere il client di fronte api pulito e semplice, desidero utilizzare OverloadedStrings per convertire valori letterali stringa su Column

haskell types dsl gadt 2016-03-02

---

5calore

1risposta

Haskell: GADT con ESTRAZIONE Pragma

ESTRAZIONE supporta normali tipi di dati, come mostrato nella figura seguente: data T = T {-# UNPACK #-} ! Int Ma c'è un modo per utilizzare il Pragma ESTRAZIONE con GADT?

haskell ghc pragma unpack gadt 2016-03-12

---

5calore

2risposta

Haskell: come testare che il codice non si sta compilando?

Qual è il modo migliore per verificare che una dichiarazione non sia corretta per il tipo? Con GADT, non è banale capire che un'applicazione di costruzione è corretta o meno. Se si sta scrivendo una l

haskell typechecking gadt 2014-09-19

---

6calore

1risposta

Perché GHC non ridurrà la mia famiglia di tipi?

Ecco un calcolo lambda non tipizzato i cui termini sono indicizzati dalle loro variabili libere. Sto usando la libreria singletons per i valori singleton delle stringhe a livello di testo. {-# LANGUAG

haskell lambda-calculus gadt type-families 2015-07-16

---

6calore

1risposta

Come specificare il tipo per una raccolta eterogenea in un AST formulato GADT?

Mi piacerebbe creare un AST digitato per un linguaggio dinamico. Al momento, sono bloccato a gestire le collezioni. Ecco un esempio di codice rappresentante: {-# LANGUAGE GADTs #-} {-# LANGUAGE DataK

haskell existential-type gadt data-kinds 2015-12-14

---

7calore

1risposta

Uso della sintassi dell'aggiornamento del record con record GADT vincolati

Mi sono imbattuto nel seguente piccolo problema. Sto usando la sintassi record di Haskell, insieme a GADTs: {-# LANGUAGE GADTs #-} data Test a where Test :: {someString :: String, someData :: a

haskell record typeclass gadt 2015-09-07

---

9calore

2risposta

Conversione di un AST non tipizzata per un semplice linguaggio digitato in un GADT

Ho un ADT che rappresenta l'AST per un linguaggio semplice: data UTerm = UTrue | UFalse | UIf UTerm UTerm UTerm | UZero | USucc UTerm | UIsZero UTerm Questa struttura d

haskell gadt 2015-06-01

---

7calore

2risposta

Ricreazione di `apply` di Lisp in Haskell tramite GADT

Come esercizio sto cercando di ricreare il apply di Lisp in Haskell. Non intendo usarlo per qualsiasi scopo pratico, penso solo che sia una buona opportunità per acquisire familiarità con il sistema d

haskell dependent-type gadt 2015-09-17

---

9calore

1risposta

Come autorizzi i GADT in Haskell?

Oggi ho iniziato a conoscere GADTs da: haskell.org e https://wiki.haskell.org Purtroppo, non so come usarli. Se corro il codice dall'esempio ricevo il seguente errore: [1 of 1] Compiling Main (test

haskell gadt 2015-09-28

---