Preguntas etiquetadas con haskell

Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 7 meses . Recientemente, estoy tratando de usar Haskell en algunos de mis sistemas de …

9 haskell  higher-order-functions  fold 

Entiendo la función seq y por qué es necesario introducir rigurosidad para la eficiencia. Lo que no entiendo es, ¿por qué se llama a esta primitiva seq(y no a algo estricto)?

8 haskell  lazy-evaluation 

Se sabe que las transformaciones naturales con firma de tipo a -> adeben ser funciones de identidad. Esto se desprende del lema de Yoneda, pero también se puede derivar directamente. Esta pregunta pide la misma propiedad pero morfismos de mónada en lugar de transformaciones naturales. Considere los morfismos de mónada …

8 haskell  monads  category-theory 

Estoy interesado en escribir una función eficiente de Haskell triangularize :: [a] -> [[a]]que tome una lista (quizás infinita) y la "triangularice" en una lista de listas. Por ejemplo, triangularize [1..19]debería volver [[1, 3, 6, 10, 15] ,[2, 5, 9, 14] ,[4, 8, 13, 19] ,[7, 12, 18] ,[11, 17] …

8 list  algorithm  haskell  functional-programming 

Estoy tratando de demostrar la asociatividad de las listas de nivel de tipo de tal manera que me permita convertir entre tipos equivalentes sin tener que soportar ninguna restricción. Suponiendo la definición estándar de concatenación: type family (++) (xs :: [k]) (ys :: [k]) :: [k] where '[] ++ ys …

8 haskell  types 

En el recursion-schemespaquete se definen los siguientes tipos: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) ¿Son isomorfos? Si es así, ¿cómo lo demuestras?

8 haskell  recursion-schemes  fixpoint-combinators 

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 :: …

8 haskell  filter  monads  functor  category-theory 

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 #-} {-# …

8 haskell 

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 representation type enough * In …

8 haskell  instance  monads  newtype 

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], # [ …

8 arrays  numpy  haskell 

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 …

8 multithreading  haskell  concurrency  timeout  blocking 

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 estricta?

8 haskell 

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) …

8 haskell  monads  applicative  category-theory  arrows 

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 es lo último …

8 haskell  typeclass  newtype  deriving 

Tengo problemas con Haskell bracket: cuando se ejecuta dentro de un hilo bifurcado (usando forkFinally) bracketel segundo argumento, el cálculo que libera recursos no se ejecuta cuando finaliza el programa. Aquí hay un código que ilustra el problema (soy consciente de que en este caso específico podría deshabilitar el almacenamiento …

8 multithreading  haskell  resources