Perguntas com a marcação «haskell»

Entendo a função seq e por que é necessário introduzir rigor na eficiência. O que eu não entendo é: por que esse primitivo é chamado seq(e não tem a ver com rigor)?

8 haskell  lazy-evaluation 

Sabe-se que transformações naturais com assinatura de tipo a -> adevem ser funções de identidade. Isto segue o lema de Yoneda, mas também pode ser derivado diretamente. Essa pergunta pede a mesma propriedade, mas morfismos de mônada, em vez de transformações naturais. Considere morfismos de mônada M ~> Nentre mônadas. …

8 haskell  monads  category-theory 

Estou interessado em escrever uma função Haskell eficiente triangularize :: [a] -> [[a]]que pega uma lista (talvez infinita) e a "triangulariza" em uma lista de listas. Por exemplo, triangularize [1..19]deve retornar [[1, 3, 6, 10, 15] ,[2, 5, 9, 14] ,[4, 8, 13, 19] ,[7, 12, 18] ,[11, 17] ,[16]] …

8 list  algorithm  haskell  functional-programming 

Estou tentando provar a associatividade das listas em nível de tipo de maneira que me permita converter entre tipos equivalentes sem contornar restrições. Assumindo a definição padrão de concatenação: type family (++) (xs :: [k]) (ys :: [k]) :: [k] where '[] ++ ys = ys (x ': xs) ++ …

8 haskell  types 

No recursion-schemespacote, os seguintes tipos são definidos: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Eles são isomórficos? Se sim, como você prova isso?

8 haskell  recursion-schemes  fixpoint-combinators 

A categoria de conjuntos é monoidal cartesiano e cocartesiano monoidal. Os tipos de isomorfismos canônicos que testemunham essas duas estruturas monoidais estão listados abaixo: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> …

8 haskell  filter  monads  functor  category-theory 

Eu coloquei uma restrição no tipo de argumento de uma função em vez de colocar no tipo de função. Eu pensei que isso daria um erro de sintaxe ou adicionaria mais informações ao tipo da função. Mas parece que a restrição é completamente ignorada. {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE …

8 haskell 

Estou tentando criar meu próprio tipo de dados, que fará parte da classe Monad, mas newtype Container a = Container a deriving Monad me dá este erro: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type enough * In the newtype …

8 haskell  instance  monads  newtype 

Entrando em Haskell, estou tentando reproduzir algo como a remodelação de numpy com listas. Especificamente, dada uma lista simples, reformule-a em uma 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, …

8 arrays  numpy  haskell 

Quero escrever um programa cujo thread principal bifurque um novo thread para computação e aguarde que ele termine por um período de tempo. Se o encadeamento filho não for concluído no tempo determinado, o tempo limite será excedido e eliminado. Eu tenho o seguinte código para isso. import Control.Concurrent fibs …

8 multithreading  haskell  concurrency  timeout  blocking 

Entendo que isso seqé usado para melhorar o desempenho, evitando a preguiça desnecessária. Eu só quero saber de onde o nome é derivado? É de "sequência" ou "sequencial"? E como o nome está relacionado à avaliação rigorosa?

8 haskell 

Aqui está o post que eu vou me referir . Além disso, vou usar os mesmos trechos do OP nessa pergunta para não separar os materiais . É sabido que uma ArrowApplyinstância produz uma Mônada e vice-versa: newtype ArrowMonad a b = ArrowMonad (a () b) instance Arrow a => …

8 haskell  monads  applicative  category-theory  arrows 

Eu tenho uma dúzia de tipos novos como este: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Quero reutilizar instâncias existentes: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Implementar essas instâncias e ter todo o código padrão é a …

8 haskell  typeclass  newtype  deriving 

Estou tendo problemas com o de Haskell bracket: ao ser executado dentro de um segundo argumento de um segmento bifurcado (usando forkFinally) bracket, o cálculo que libera recursos não é executado quando o programa termina. Aqui está o código que ilustra o problema (sei que, nesse caso específico, eu poderia …

8 multithreading  haskell  resources 

Estou tentando fazer esta pergunta do meu dever de casa: Dado arbitrário foo :: [[a]] -> ([a], [a]), escreva uma lei que a função foosatisfaça, envolvendo maplistas e pares. Algum contexto: Eu sou o primeiro ano de graduação fazendo um curso de programação funcional. Embora o curso seja bastante introdutório, …

8 haskell  free-theorem