Qual è lo stato corrente delle monadi limitate?

Question

Tornando almeno alla fine degli anni '90 ci sono state persone che desideravano l'integrazione di restricted monads in Haskell in modo amichevole.

Ad esempio, senza monadi limitati non è possibile creare una monade efficiente su Set, Map o probability distributions. Ecco un SO question di alcuni anni fa in cui qualcun altro si è imbattuto in questo problema.

ci sono diverse soluzioni che le persone hanno escogitato, tra cui:

• Creazione di un new type class per ogni possibile restrizione.

• Utilizzo di Template Haskell.

• Utilizzo di Constraint Kinds.

Nessuno di questi approcci sembra essere "canonico" tuttavia. Ho trovato un commento da Don Stewart su this blog post, nel 2007, in cui ha affermato che eravamo "abbastanza vicini" ad avere monadi limitate con Indexed types.

Qual è lo stato corrente? Esiste ora un modo "canonico" di fare monadi limitati? O stiamo ancora vivendo con soluzioni alternative?

Answer 1

C'è un recente articolo di Anders Persson, Emil Axelsson e Josef Svenningson che mostra un modo per codificare le monadi limitate. Ho dimenticato i dettagli, ma ricordo che era un bel giornale.

Persson, A.; Axelsson, E.; Svenningsson, J. (2011). Generic monadic constructs for embedded languages. IFL 2011, il 23 ° Simposio sull'implementazione e l'applicazione delle lingue funzionali.

Answer 2

In realtà è possibile ottenere un Set monad efficiente come monade regolare, senza restrizioni. In due modi distinti. Il seguente articolo spiega sia :

http://okmij.org/ftp/Haskell/set-monad.html

L'articolo sottolinea inoltre che le monadi sono in realtà molto limitato limitato e esclude molti idiomi monadici. Suppongo che i metodi di implementazione di siano generali e che qualsiasi monade limitata possa essere trasformata nella solita, senza perdere efficienza. Quindi, potrebbe sembrare che non abbiamo bisogno di monadi limitate.