Estou tentando entender os tipos existentes em Haskell e me deparei com um PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Corrija meus entendimentos abaixo que tenho até agora. Tipos existentes não parecem estar interessados no tipo que eles contêm, mas os padrões...
Estou tentando criar uma função F # que retornará a soma de uma lista de ints de aninhamento arbitrário. Ou seja. funcionará para a list<int>, a list<list<int>>e a list<list<list<list<list<list<int>>>>>>. Em Haskell, eu escreveria algo...
Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 7 meses . Recentemente,...
Estou tentando juntar vários diagramas em uma espécie de mesa. Eu acho que isso é chamado de "impressão de índice" , as pessoas que fazem fotografia fazem isso quando precisam revisar muitas fotografias ao mesmo tempo. Enfim, este é o código: main :: IO () main = mainWith @(Diagram B) $ (tile ....
Estou realmente lutando para entender o callCC. Eu tenho o poder das continuações e tenho usado o conceito em alguns dos meus projetos para criar conceitos interessantes. Mas nunca precisei usar algo com mais recursos do que cont :: ((a->r)->r)-> Cont r a. Depois de usá-lo, faz muito...
Por que estes não são equivalentes? show $ if someCondition then someInt else some double e if someCondition then show someInt else show someDouble Entendo que se você isolar a if ... elseparte no primeiro exemplo de uma expressão por si só, não poderá representar seu tipo com um tipo de soma...
Estou tentando definir uma família de máquinas de estado com tipos um pouco diferentes de estados. Em particular, as máquinas de estados mais "complexas" possuem estados formados pela combinação dos estados de máquinas de estados mais simples. (É semelhante a uma configuração orientada a objetos,...
(Inspirado pela minha resposta a esta pergunta .) Considere este código (ele deve encontrar o maior elemento que é menor ou igual a uma determinada entrada): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v ->...
Estou aprendendo Haskell e estava fazendo um programa simples de semente de banco de dados para Yesod quando me deparei com esse comportamento que acho difícil de entender: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Sessão Yesod GHCI: $ :t concatMap testFn...
Tropecei em algumas coisas irritantes. Eu sei que o haskell funciona com a forma normal da cabeça fraca (WHNF) e sei o que é isso. Digitando o seguinte código no ghci (estou usando o comando: sprint, que reduz a expressão para WHNF para meu conhecimento.): let intlist = [[1,2],[2,3]] :sprint...
Um padrão que me deparei várias vezes agora é aquele em que uma lista de valores precisa ser verificada mapeando algum teste sobre ele e verificando se algum ou todos os elementos foram aprovados. A solução típica é apenas usar os convenientes embutidos alle any. O problema é que eles são...
A Applicativeclasse typeclass representa funcores monoidais relaxados que preservam a estrutura monoidal cartesiana na categoria de funções digitadas. Em outras palavras, dados os isomorfismos canônicos que testemunham que (,)formam uma estrutura monoidal: -- Implementations left to the motivated...
Problema Considere o seguinte problema de design no Haskell. Eu tenho um EDSL simbólico simples, no qual quero expressar variáveis e expressões gerais (polinômios multivariados), como x^2 * y + 2*z + 1. Além disso, quero expressar certas equações simbólicas sobre expressões, por exemplo x^2 + 1...
Eu tenho esse código (reconhecidamente estranho) que usa lente e GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module...
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...
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 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...
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 => Functor (ArrowMonad a)...
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, 6]], # # [[ 7,...
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...