Perguntas com a marcação «haskell»

Existem 3 funções dadas abaixo, que encontram o último, mas o segundo, elemento de uma lista. Aquele usando last . initparece muito mais rápido que o resto. Não consigo entender o porquê. Para o teste, usei uma lista de entrada de [1..100000000](100 milhões). O último roda quase instantaneamente, enquanto os …

10 haskell 

Atualmente, estou lidando com uma função que é assim: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Em outras palavras, dada uma lista, ela usa os seis primeiros elementos para algo e, se a lista tiver menos de seis elementos, será usada defcomo …

10 haskell  pattern-matching 

type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

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 Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a …

9 haskell  typeclass  typechecking 

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 = 1, bem …

9 haskell  casting  type-conversion  ghc  typeclass 

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 reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: …

9 haskell  functor  applicative  category-theory 

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 …

9 haskell  testing  concurrency  parallel-processing  any 

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 …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

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

9 haskell  traversal 

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

9 haskell  lazy-evaluation  dry 

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, na qual um objeto possui …

9 haskell  state  monads  monad-transformers  state-monad 

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 …

9 haskell  compiler-construction  language-features  typechecking 

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 sentido porque …

9 haskell  functional-programming  monads 

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

9 haskell  haskell-diagrams 

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 usar o Haskell em alguns dos meus …

9 haskell  higher-order-functions  fold