Per quanto ne so, una funzione di Haskell con vincoli di classi di tipi viene compilata internamente in una funzione con argomenti aggiuntivi che ricevono dizionari con le implementazioni necessarie di ogni particolare classe di tipo.
- Ci sono altre possibilità come compilare le classi di tipi?
- In tal caso, quali sono i loro (dis) vantaggi?
- E quali compilatori li usano?
4
C'è un bel po 'di letteratura sull'argomento. Forse iniziare con l' implementazione delle classi di tipo di J. Peterson, M. Jones. Potresti anche guardare Classi di tipo come oggetti e impliciti di Oliveira et al, che ne parla nel contesto di Scala, ma ha una sezione abbastanza ampia sul lavoro correlato.
—
Martin Berger,
Ho trovato un link al documento: Implementare le classi di tipi. John Peterson e Mark P. Jones .
—
Petr Pudlák,
@MartinBerger fai una risposta?
—
Suresh Venkat,
L'altro può essere trovato qui .
—
Martin Berger,
@Suresh Venkat, non volevo farne una risposta perché non sono sicuro che queste due siano le risposte migliori o anche buone. È da un po 'che non guardo alle implementazioni dei linguaggi funzionali. Forse alcuni dei corpi di FP residenti possono entrare.
—
Martin Berger,