6
Como dice el título, estoy buscando un programa que use mónada-transformadores en combinación con una gran pila de Mónadas.Ejemplo de una gran pila de Monad
¿Alguien conoce un ejemplo del mundo real?
A
Respuesta
8
Un buen ejemplo es Haskeline - su interior InputCmdT tipo es una pila transformador mónada de profundidad 6 (véase here):
type InputCmdT m = StateT Layout (UndoT (StateT HistLog (ReaderT (IORef KillRing)
(ReaderT Prefs (ReaderT (Settings m) m)))))
que en realidad puede tener efectos curiosos, como soplar una firma de tipo de sistema. Console.Haskeline.Emacs hasta más de 20,000 líneas para al menos una versión de GHC ...
5
No sé si esto cuenta como "mundo real", pero en mi extensión del tutorial Write Yourself a Scheme in 48 Hours he implementado un intérprete para un lenguaje de programación que utiliza la pila siguiente:
type Eval a = ReaderT Environment (ErrorT LispError IO a)
y empecé añadiendo continuaciones a la lengua mediante la definición de
type EvalCont r a = ContT r (ReaderT Environment (ErrorT LispError IO a))
nunca terminado la implementación de continuaciones, pero se puede ver cómo el momento me dio por checking it out on Github.
Cuestiones relacionadas
- 1. Ejemplo de uso de Scalaz Monad
- 2. Un gran ejemplo de arquitectura de desarrollo
- 3. IO dentro de Get Monad
- 4. Llamar a una Monad de IO dentro de una Flecha
- 5. State Monad, ¿por qué no una tupla?
- 6. Evitar el levantamiento con Monad Transformers
- 7. ¿Cómo definir una pila de pila?
- 8. ¿Puedes dar un ejemplo de desbordamiento de pila en C++?
- 9. rasgo Monad en Scala
- 10. list monad transformer
- 11. Uso de Reader Monad para Dependency Injection
- 12. Ejemplo de pila ejecutable en Linux (arquitectura i386)
- 13. ¿Dónde puedo obtener una gran base de datos de ejemplo de servidor Sql?
- 14. ¿Por qué Scala no tiene una Monad de IO?
- 15. Haskell IO Monad y uso de memoria
- 16. Traverse_ de Scalaz con IO monad
- 17. ¿Writer Monad garantiza la concatenación asociativa correcta?
- 18. Palindrome Uso de una pila
- 19. Cómo raspar una gran cantidad de tweets
- 20. Cifrado de una cadena con una pila
- 21. ¿La instancia `Monad ((,) w)` es estándar?
- 22. ¿Todos los métodos devuelven `this` a monad?
- 23. Es una pila falsa más rápida que una pila real
- 24. Usando la Lógica Monad en Haskell
- 25. ¿Por qué este código de Either-monad no escribe check?
- 26. Crear una pila de tamaño fijo
- 27. uso de pila libGL
- 28. ¿Una buena manera de realizar un seguimiento de varias referencias entre funciones en ST monad?
- 29. Concatenar una gran cantidad de archivos HDF5
- 30. C: Diagramación de una gran biblioteca
¿Definir "grande"? –
Creo que 3 ya es "grande" – nponeccop
Cuanto más, mejor. Pero> 3 es un buen comienzo. – nudded