gadt

8calore

2risposta

Qual è la cosa più vicina a Haskell GADT e typeclass in F #?

F # è un ML con OOP. Qual è la cosa più vicina ai tipi di dati algebrici e alle classificazioni tipografici Haskell?

12calore

4risposta

Garanzia statica sulle relazioni chiave/valore in Data.Mappa

Desidero creare un costruttore intelligente speciale per Data.Map con un certo vincolo sui tipi di relazioni coppia chiave/valore. Questo è il vincolo ho cercato di esprimere: {-# LANGUAGE MultiParamT

6calore

1risposta

Enumerazione di GADT in Haskell

Potresti dirmi se esistono estensioni del meccanismo di derivazione Haskell per la classe Enum? Voglio dire ci sono un sacco di situazioni ragionevoli oltre al caso "costruttori nullari". Ci sono lavo

9calore

2risposta

GADT cast in modo normale

Diciamo che sto scrivendo una DSL e voglio avere supporto sia per il supporto di tipo fantasma che per le espressioni mal digitate. I miei tipi di valore potrebbero essere {-# LANGUAGE GADTs, DataKind

9calore

1risposta

Le applicazioni familiari di tipo Haskell non vengono valutate

Ho trovato una situazione interessante, quando si utilizzano tipi di dati con famiglie di tipi. Il messaggio di errore del compilatore è No instance for (C (ID())) arising from a use of W. Suggerisce

7calore

1risposta

Come posso ottenere GHC per generare istanze di Data.Typeable per GADTs con Typeable nel contesto?

Supponiamo che io ho il seguente codice: {-# LANGUAGE GADTs, DeriveDataTypeable, StandaloneDeriving #-} import Data.Typeable class Eq t => OnlyEq t class (Eq t, Typeable t) => BothEqAndTypeable t

5calore

1risposta

Istanza applicativa per (Monad m, Monoid o) => m o?

Ci scusiamo per il terribile titolo. Sto cercando di creare un'istanza di Applicative per un Monad che avvolge un tipo che è un Monoid. instance (Monad m, Monoid o) => Applicative (m o) where pur

13calore

1risposta

questo GADT ha effettivamente il ruolo di tipo rappresentativo

Questo tipo di dati può avere type role HCons' representational representational, che consente di utilizzare coerce per aggiungere o rimuovere i newtypes applicati agli elementi, senza la necessità di

10calore

2risposta

Come far funzionare i catamorfismi con tipi parametrici/indicizzati?

Recentemente ho appreso un po 'di F-algebre: https://www.fpcomplete.com/user/bartosz/understanding-algebras. Volevo trasferire questa funzionalità a tipi più avanzati (indicizzati e di livello superio

9calore

1risposta

Come posso codificare questo esempio tipizzato in modo sicuro in Haskell?

Supponiamo di voler rappresentare i modelli finiti della lingua del primo ordine con costante c, simbolo funzione unario f, e predicato P. I può rappresentare il vettore come lista m, la costante come