data-kinds

5calore

2risposta

Istanza tipizzabile per torsione di vincoli

Sto provando a ricavare un'istanza Typeable per i vincoli di tipo tupla. Vedere il seguente codice: {-# LANGUAGE ConstraintKinds, GADTs #-} {-# LANGUAGE DataKinds, PolyKinds, AutoDeriveTypeable #-}

5calore

2risposta

Come creare una "classe tipo" in Haskell, o polimorfismo ad hoc a livello di tipo utilizzando famiglie di tipi

Sto studiando le caratteristiche della famiglia di tipi di Haskell e il calcolo del livello di tipo. Sembra che sia abbastanza facile da ottenere il polimorfismo parametrico a livello di tipo utilizza

12calore

1risposta

Comprendere i cast coinvolti in pattern corrispondenti a un tipo di dati che è indicizzato su un tipo definito dall'utente

Quindi, stavo giocando con DataKinds e TypeFamilies in Haskell e ho iniziato a guardare il GHC Core generato. qui è un po TestCase per motivare la mia domanda: {-# LANGUAGE GADTs #-} {-# LANGUAGE Typ

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

30calore

1risposta

Quali sono tutti i meccanismi utilizzati per abilitare l'API basata sul tipo di Servant?

Sono molto perplesso dal modo in cui Servant è in grado di raggiungere la magia che utilizza digitando. L'esempio sul sito web mi lascia perplesso già notevolmente: type MyAPI = "date" :> Get '[JSON]

9calore

2risposta

Singletons in liste eterogenee

Mi piacerebbe scrivere una funzione che analizzi una lista eterogenea. Per amor di discussione, diamo il seguente data Rec rs where Nil :: Rec '[] Cons :: ty -> Rec rs -> Rec ('(name, ty) ':

8calore

1risposta

Il sinonimo di Pattern non può unificare i tipi all'interno dell'elenco a livello di tipo

Viene visualizzato un errore quando si tenta di definire un sinonimo di modello basato su su un GADT che ha un elenco di tipo livello. sono riuscito a bollire fino a questo esempio: {-# LANGUAGE GADTs

12calore

2risposta

Perché: k [False] genera un errore in GHCI?

Sono confuso circa l'errore che ho ricevuto al termine della sessione di seguito: $ ghci GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help Ok, modules loaded: Main. *Main> :set -XDataKi

9calore

2risposta

costruttore che solleva (via DataKinds) per * -> Un

dato un ADT come data K = A | B Bool l'estensione DataKinds ci permette di sollevare in generi e tipi/costruttori di tipo K :: BOX 'A :: K 'B :: 'Bool -> K C'è un modo per aggiungere un costrutt

6calore

1risposta

Definizione di famiglie di tipi personalizzati rispetto al tipo Nat

Come si può definire un nuovo calcolo su tipi di tipi GHC.TypeLits.Nat? Spero di essere in grado di definire un tipo di famiglia type family WIDTH (n :: Nat) :: Nat tale che WIDTH 0 ~ 0 e WIDTH (n+1