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?
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?
Il documento che ha introdotto le classi di tipi era " Come rendere meno polimorfismo ad-hoc -hoc "di Wadler e Blott nel 1988. Nel documento, menzionano che le classi di tipi sono state scoperte durante il lavoro di standardizzazione su Haskell, tuttavia il testo non chiarisce chi ha scoperto loro. (Si potrebbe supporre che fossero gli autori, ma non è detto esplicitamente.)
Menzionano alcune opere d'arte precedenti di Stefan Kaes.
La sezione Riconoscimento dice:
The important idea that overloading might be reflected in the type of a function was suggested (in a rather different form) by Joe Fasel. For discussion and comments, we are also grateful to: Luca Cardelli, Bob Harper, Paul Hudak, John Hughes, Stefan Kaes, John Launchbury, John Mitchell, Kevin Mitchell, Nick Rothwell, Mads Tofte, David Watt, the members of the Haskell committee, and the members of IFIP 2.8.