type-families

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

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

8calore

2risposta

La corrispondenza del modello sulle funzioni a livello di tipo è possibile, ma non sul livello di valore, perché questa differenza?

In this carta da SPJ, a pagina 3 e 4, è scritto: class Mutation m where type Ref m :: * -> * newRef :: a -> m (Ref m a) readRef :: Ref m a -> m a writeRef :: Ref m a -> a -> m()

6calore

1risposta

classe Generalizzando Parametri

Diciamo che ho la classe: class C a b t where f :: (a, b) -> (t a, t b) Ora, con questa definizione, posso definire le istanze per dire: (a,b) -> (Maybe a, Maybe b) (a,b) -> ([a], [b]) Ma no

14calore

1risposta

Equivalenze di tipo (in) in presenza di famiglie di dati

Ho una famiglia di tipi che determina se qualcosa è in testa a un elenco di tipi di livello. type family AtHead x xs where AtHead x (x ': xs) = True AtHead y (x ': xs) = False Voglio costr

7calore

1risposta

Vincoli nelle istanze di tipo famiglia

Sto esplorando famiglie di tipi in Haskell, cercando di stabilire la complessità delle funzioni a livello di tipo che posso definire. Voglio definire una versione chiusa tipo a livello di mod, qualcos

7calore

2risposta

restrizioni di tipo unboxed

mi chiedo perché i tipi disimballati a Haskell hanno queste restrizioni: Non è possibile definire un newtype per il tipo unboxed: newtype Vec = Vec (# Float#, Float# #) ma è possibile definire il ti

7calore

2risposta

Haskell tipo istanza famiglia con vincoli di tipo

Sto cercando di rappresentare espressioni con famiglie di tipi, ma non riesco a capire come scrivere i vincoli che voglio, e sto iniziando a sentire come se non fosse possibile. Ecco il mio codice: cl

5calore

1risposta

Convertire la lista di livello tipo '[a, b, c, ...] per funzionare a-> b-> c->

Ho una famiglia di dati indicizzata per tipo di livello, dove i tipi in una lista corrispondono a parametri di un'istanza di dati. Voglio scrivere una funzione che avrà arit e parametri diversi a seco

5calore

1risposta

GHC 7.10.2 tipo di estensione famiglie non funziona

che sto ricevendo parse error on input ‘where’ quando si cerca il seguente esempio in GHC 7.10.2: {-# LANGUAGE TypeFamilies #-} type family F a :: * type instance where F (Maybe Int) = Int