Resultados de la búsqueda a petición "monads"
Restringir una mónada a una clase de tipo
En Haskell, ¿hay alguna manera de restringir una mónada?M a así que esoa satisfacer una restricción de clase de tipo? Estoy traduciendo elejemplo de modelado ...
Convierta una notación de "hacer" con más de dos acciones para usar la función de vinculación
Sé que la siguiente función "vincular" de la notación "do" es equivalente agetLine >>= \line -> putStrLn do line <- getLine putStrLn linePero, ¿cómo es la siguiente notación equivalente a la función de enlace? do line1 <- getLine putStrLn ...
¿Cómo interpretar bind / >> = de la instancia de la función?
Estoy tratando de mejorar mi comprensión deApplicatives yMonads implementando sus instancias de función en Javascript. Mi conocimiento de Haskell es limitado y espero que mi pregunta tenga sentido. Aquí están mis implementaciones defmap, <*> ...
¿Cómo puedo escribir este código simple usando la mónada estatal?
Soy un principiante en Haskell y me he encontrado con una situación en la que me gustaría utilizar la mónada estatal. (O al menos, creo que eso es lo que me gustaría usar). Hay un millón de tutoriales para la mónada estatal, pero todos parecen ...
Simulando objetos interactivos con estado en Haskell
Actualmente estoy escribiendo un programa Haskell que implica simular una máquina abstracta, que tiene un estado interno, toma entrada y da salida. Sé cómo implementar esto usando la mónada estatal, lo que resulta en un código mucho más limpio y ...
Cómo multiplicar dos (opción doble) en F #
Mi código contiene bastantes tipos de opciones dobles; He estado usando la función Option.map con bastante éxito hasta ahora para eliminar la necesidad de tener que coincidir en Some y None en todo el lugar y tratarlos como tipos elevados, pero ...
¿Es este un transformador de mónada válido en Javascript?
Para comprender mejor los transformadores de mónada, implementé uno. Dado que Javascript se tipea dinámicamente, no imito constructores de tipo o datos, pero declaro solo objetos Javascript antiguos simples, que contienen las funciones estáticas ...
runST con sistema de tipo Hindley-Milner
Si entiendo la mónada ST en Haskell correctamente,runST usa los tipos de rango 2 de una manera inteligente para garantizar que un cálculo no haga referencia a ningún otro hilo al escapar de la mónada. Tengo un lenguaje de juguete con un sistema ...