Desidero implementare un algoritmo di programmazione dinamica polimorfico nel tipo di partitura; Ecco una versione 1D semplificata senza condizioni limite: {-# LANGUAGE ConstraintKinds, FlexibleContex
voglio implementare un algoritmo utilizzando il ST Monade e STUArray s, e voglio che sia in grado di lavorare sia con i dati Float e Double. Mostrerò su un problema di esempio più semplice: il calcolo
diciamo che ho il seguente tipo:
data MyType = Constructor0 | Constructor1 | Constructor2
deriving (Eq,Show,Enum)
c'è un modo per creare uno di questi casi:
MArray (STUArray s) MyType (ST