¿Cuál es el estado actual de las mónadas restringidas?

Question

Volviendo al menos a finales de la década de 1990 ha habido personas que desean la integración de restricted monads en Haskell de manera amistosa.

Por ejemplo, sin mónadas restringidas no se puede hacer una mónada eficiente de Set, Map o probability distributions. Aquí hay un SO question de hace unos años donde alguien más se enfrentó a este problema.

Hay varias soluciones que la gente ha llegado con, entre ellos:

• Creación de un new type class para cada posible restricción.

• Usando Template Haskell.

• Usando Constraint Kinds.

Ninguno de estos enfoques parece ser "canónico" sin embargo. Encontré un comentario de Don Stewart en this blog post, en 2007, donde insinuaba que estábamos "bastante cerca" de tener mónadas restringidas con Indexed types.

¿Cuál es el estado actual? ¿Hay ahora una forma "canónica" de hacer mónadas restringidas? ¿O aún vivimos con soluciones temporales?

Answer 1

Hay un artículo reciente de Anders Persson, Emil Axelsson y Josef Svenningson que muestra una forma de codificar mónadas restringidas. Olvidé los detalles, pero recuerdo que fue un buen papel.

Persson, A.; Axelsson, E.; Svenningsson, J. (2011). Generic monadic constructs for embedded languages. IFL 2011, el 23 ° Simposio sobre Implementación y Aplicación de Idiomas Funcionales.

Answer 2

En realidad, es posible obtener una mónada Set eficaz como una mónada regular, sin ninguna restricción. De dos maneras distintas. El siguiente artículo explica tanto :

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

El artículo también señala que las mónadas son en realidad muy restringidas limitado y excluye muchos modismos monádicos. Conjeturo que los métodos de implementación son generales y cualquier mónada restringida puede ser convertida en la habitual, sin perder eficacia. Por lo tanto, puede parecer que no necesitamos mónadas restringidas en absoluto.