Estoy realmente luchando por entender callCC. Obtengo el poder de las Continuaciones y he estado usando el concepto en algunos de mis proyectos para crear conceptos geniales. Pero nunca he necesitado usar algo con mayores capacidades que cont :: ((a->r)->r)-> Cont r a. Después de usarlo,...
¿Por qué no son equivalentes? show $ if someCondition then someInt else some double y if someCondition then show someInt else show someDouble Entiendo que si aísla la if ... elseparte en el primer ejemplo de una expresión en sí misma, entonces no puede representar su tipo con un tipo de suma...
Estoy tratando de definir una familia de máquinas de estados con tipos de estados algo diferentes. En particular, las máquinas de estado más "complejas" tienen estados que se forman combinando los estados de máquinas de estado más simples. (Esto es similar a una configuración orientada a objetos...
(Inspirado por mi respuesta a esta pregunta ). Considere este código (se supone que debe encontrar el elemento más grande que sea menor o igual que una entrada dada): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer ->...
Estoy aprendiendo Haskell y estaba haciendo un simple programa de semilla de base de datos para Yesod cuando me topé con este comportamiento que me resulta difícil de entender: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Sesión Yesod GHCI: $ :t concatMap...
Me he tropezado con algunas cosas irritantes. Sé que Haskell funciona con la forma normal de la cabeza débil (WHNF) y sé qué es esto. Escribiendo el siguiente código en ghci (estoy usando el comando: sprint que reduce la expresión a WHNF que yo sepa): let intlist = [[1,2],[2,3]] :sprint...
Un patrón que he encontrado varias veces ahora es uno en el que se debe verificar una lista de valores mapeando alguna prueba sobre él y ver si alguno o todos los elementos pasaron. La solución típica es usar los convenientes elementos integrados ally any. El problema es que estos se evalúan en...
La Applicativeclase de tipos representa functores monoidales laxos que preservan la estructura monoidal cartesiana en la categoría de funciones escritas. En otras palabras, dados los testigos de isomorfismos canónicos que (,)forman una estructura monoidal: -- Implementations left to the motivated...
Problema Considere el siguiente problema de diseño en Haskell. Tengo un EDSL simple y simbólico en el que quiero expresar variables y expresiones generales (polinomios multivariados) como x^2 * y + 2*z + 1. Además, quiero expresar ciertas ecuaciones simbólicas sobre expresiones, digamos x^2 + 1 =...
Tengo este código (ciertamente extraño) que usa lentes y GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main...
Estoy confundido por qué mi función nestque se compone fconsigo misma nveces nest f 0 = id nest f n = f . nest f (n - 1) nunca termina Pensé que "coincidiría con el patrón" en el caso cuando se nconvierta en cero. Lo estoy definiendo escribiendo estas dos líneas en GHCI y llamando nest (+ 1) 2...
Me las arreglé para entender la definición de la clase. MonadReader class Monad m => MonadReader r m | m -> r where ... Después de leer el documento de Dependencia funcional en Haskell, ahora puedo entender que | m -> respecifica que la variable de tipo rse decide de forma exclusiva m....
Tengo una docena de nuevos tipos como este: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Quiero reutilizar instancias existentes: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Implementar estas instancias y tener todo el código repetitivo...
Aquí está la publicación SO a la que me referiré . Además, voy a usar los mismos fragmentos que el OP en esa pregunta para no separar los materiales . Es ampliamente conocido que una ArrowApplyinstancia produce una mónada y viceversa: newtype ArrowMonad a b = ArrowMonad (a () b) instance Arrow a...
Entiendo que seqse usa para mejorar el rendimiento al evitar la pereza innecesaria. ¿Solo quiero saber de dónde se deriva el nombre? ¿Es de "secuencia" o "secuencial"? ¿Y cómo se relaciona el nombre con la evaluación
Quiero escribir un programa cuyo hilo principal bifurca un nuevo hilo para el cálculo y espera a que termine por un período de tiempo. Si el hilo secundario no termina en un tiempo dado, se agota el tiempo de espera y se elimina. Tengo el siguiente código para esto. import Control.Concurrent fibs...
Al entrar en Haskell, estoy tratando de reproducir algo como la remodelación de Numpy con listas. Específicamente, dada una lista plana, reconfórmela en una lista n-dimensional: import numpy as np a = np.arange(1, 18) b = a.reshape([-1, 2, 3]) # b = # # array([[[ 1, 2, 3], # [ 4, 5, 6]], # #...
Estoy tratando de crear mi propio tipo de datos, que formará parte de la clase Monad, pero newtype Container a = Container a deriving Monad me da este error: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the...
Pongo una restricción en el tipo de argumento de una función en lugar de poner el tipo de la función. Pensé que esto daría un error de sintaxis o agregaría más información al tipo de función. Pero parece que la restricción se ignora por completo. {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE...
La categoría de conjuntos es tanto monoidal cartesiana como monoidal cocartesiana. Los tipos de isomorfismos canónicos que presencian estas dos estructuras monoidales se enumeran a continuación: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd :: b -> a...