Tag: MONADS
C++23 finalmente está recibiendo algunas adiciones muy útiles a std::optional. Dado que mi conocimiento de FP es muy básico, me pregunto cuál es la sintaxis para las siguientes dos operaciones (que según mi búsqueda en Google son dos operaciones monádicas básicas): Monádico bind Monádico return Mis mejores suposiciones son: Monádico . . . Read more
Esto tiene que ser muy sencillo y estoy insatisfecho de no poder resolverlo en este punto de mi experiencia en Haskell. Quiero obtener el producto cartesiano de una lista consigo misma, pero quiero filtrar los elementos idénticos. No quiero un filtro posterior. Esto me da el producto cartesiano, aparentemente configurado . . . Read more
Este no es uno de los innumerables preguntas ya planteadas en SO. ¿Qué es un monad? Monad en inglés sencillo para el programador orientado a objetos sin experiencia en programación funcional Un monad es solo un monoid en la categoría de endofunctores. ¿Cuál es el problema? Más bien, es una . . . Read more
Tengo una función que lee una clave Rsa con la función readPrivateKey de HsOpenSsl, desafortunadamente la firma de mi función es esta String -> IO (Maybe (IO Maybe RsaKey)). Necesito el formato PEM y una clave Cryptonite.RSA y escribí la función mkRsaKey para hacer eso a partir de una cadena . . . Read more
Estoy tratando de usar los operadores de bind (>>=) y composición de Kleisli (=>) con el tipo básico Result, pero o bien no están definidos o no están en ámbito: “`f# let f x = if x%2 = 0 then Ok (x/2) else Error () let ff x = Ok . . . Read more