constraint-kinds

6calore

1risposta

Rivisitazione di STUArray polimorfi con tipi di vincoli

Desidero implementare un algoritmo di programmazione dinamica polimorfico nel tipo di partitura; Ecco una versione 1D semplificata senza condizioni limite: {-# LANGUAGE ConstraintKinds, FlexibleContex

6calore

1risposta

vincoli tipi: Passare più vincoli

Quando ho un tipo di dati come il seguente in Haskell: data A ctx = A (forall a. ctx a => a -> a) Poi posso mettere funzioni che lavorano sui valori di tipi di una determinata classe in questo tipo

16calore

2risposta

ConstraintKinds spiegato in un esempio semplicissimo

Che cos'è un Constraint kind? Perché qualcuno dovrebbe usarlo (in pratica)? A cosa serve? Potrebbe fornire un semplice esempio di codice per illustrare le risposte alle due domande precedenti? Perché

5calore

1risposta

Tipi accettabili nelle funzioni Numeric.AD

Sto riscuotendo un piccolo successo intorno alla tubatura di base dei tipi coinvolti nel pacchetto ad. Ad esempio, il seguente funziona perfettamente: import Numeric.AD ex :: Num a => [a] -> a ex [

5calore

1risposta

Utilizzo di tipi di vincoli e famiglie di tipi con vincoli "limitati"

Sto lavorando a un functor applicativo che contiene un monoide per "visualizzare" l'esecuzione. Tuttavia, a volte non mi interessa affatto questa parte, quindi la scelta di monoid è irrilevante in qua

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 #-}