Domande con tag 'typeclass'

Voglio definire una classe di tipi per oggetti geometrici che possono essere intersecati insieme: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependenc...

Le classi di testo di Haskell sono uno strumento molto potente e conferiscono a Haskell una grande capacità espressiva, rispetto ai linguaggi funzionali che non li hanno Quando sono stati inventati e chi li ha inventati?     

Sembra che qualsiasi istanza Bounded dovrebbe avere un'implementazione sana di Enum. Non riesco a pensare personalmente a un controesempio, anche se se qualcuno ne presenta uno non patologico, capirò perché non è così. Dal fare :i sui du...

Sto provando il modulo Gloss di Haskell e ho trovato un modello di cose necessarie per visualizzare correttamente un oggetto: posizione, dimensioni, scala e rappresentazione dell'immagine. Questo mi è sembrato un buon uso delle classificazioni...

Come ho capito e come descritto qui , il polimorfismo ad-hoc è limitato alla spedizione in fase di compilazione. Cioè, se abbiamo una funzione che si aspetta un argomento che appartiene a un typeclass, dobbiamo conoscere il tipo concreto dell'a...

Leggendo i commenti a questo post sul blog mi sono reso conto che non ne so molto di alcune funzioni davvero interessanti meccanismi tra linguaggi come Haskell, OCaml e Standard ML. Mi piacerebbe una panoramica di alto livello non sulla sintas...