Perguntas com a marcação «haskell»

Aqui está o cenário: escrevi algum código com uma assinatura de tipo e as queixas do GHC não puderam deduzir x ~ y para alguns xe y. Geralmente, você pode jogar um osso no GHC e simplesmente adicionar o isomorfismo às restrições da função, mas essa é uma má idéia …

322 haskell  constraints  ghc 

Estou começando a entender como a forallpalavra-chave é usada nos chamados "tipos existenciais" como este: data ShowBox = forall s. Show s => SB s Este é apenas um subconjunto, no entanto, de como forallé usado e eu simplesmente não consigo entender meu uso em coisas como esta: runST :: …

312 haskell  syntax  types  ghc  forall 

O que significa o formulário normal de cabeça fraca (WHNF)? O que significa Forma Normal da Cabeça (HNF) e Forma Normal (NF)? O mundo real Haskell afirma: A função seq familiar avalia uma expressão para o que chamamos de forma normal da cabeça (HNF abreviado). Ele para quando atinge o …

290 haskell  definition  strictness  weak-head-normal-form 

A expressão 'algébrica' para tipos de dados algébricos parece muito sugestiva para alguém com experiência em matemática. Deixe-me tentar explicar o que quero dizer. Tendo definido os tipos básicos produtos • União + Singleton X Unidade 1 e usando a abreviação X²de X•Xe 2Xpara X+Xet cetera, podemos definir expressões algébricas …

289 haskell  functional-programming  algebraic-data-types  miranda 

Quero estudar FRP em Haskell, mas é um pouco difícil decidir sobre uma biblioteca a ser usada. Muitos parecem tentativas mortas, alguns parecem ter ressuscitado (como atividades recentes em Yampa). Pelo que li, parece que existem dois "tipos" de FRP: FRP push-pull (como em banana reativa) de um lado e …

265 haskell  frp  reactive-banana  yampa 

Me deparei com a seguinte definição ao tentar aprender Haskell usando um projeto real para conduzi-lo. Não entendo o que o ponto de exclamação na frente de cada argumento significa e meus livros não pareciam mencioná-lo. data MidiMessage = MidiMessage !Int !MidiMessage

262 haskell  syntax  lazy-evaluation 

O Template Haskell pode descobrir os nomes e / ou as declarações dos sinônimos de tipo associados declarados em uma classe de tipo? Eu esperava reifyque fizesse o que eu quero, mas parece não fornecer todas as informações necessárias. Ele funciona para obter assinaturas de tipo de função: % ghci …

257 haskell  template-haskell  type-families  reify  associated-types 

Parece que a Template Haskell é frequentemente vista pela comunidade Haskell como uma conveniência lamentável. É difícil colocar em palavras exatamente o que observei a esse respeito, mas considere estes poucos exemplos O modelo Haskell listado em "O feio (mas necessário)" em resposta à pergunta Quais extensões do Haskell (GHC) …

252 haskell  template-haskell 

Haskell (com o GHCcompilador) é muito mais rápido do que você esperaria . Quando usado corretamente, ele pode aproximar-se dos idiomas de baixo nível. (O que os Haskellers preferem fazer é tentar chegar a 5% de C (ou até superá-lo, mas isso significa que você está usando um programa C …

246 performance  haskell  ghc  higher-order-functions  lambda-calculus 

Os dois frameworks web Haskell nas notícias recentemente são Yesod (em 0,8) e Snap (em 0,4). É bastante óbvio que o Yesod atualmente suporta muito mais recursos do que o Snap. No entanto, não suporto a sintaxe que o Yesod usa para HTML, CSS e Javascript. Então, eu gostaria de …

231 haskell  web-frameworks  yesod  haskell-snap-framework 

Estou aprendendo Haskell e leio alguns artigos sobre diferenças de desempenho das listas Haskell e (insira seu idioma) as matrizes. Como aprendiz, obviamente, apenas uso listas sem nem pensar na diferença de desempenho. Recentemente, comecei a investigar e encontrei inúmeras bibliotecas de estrutura de dados disponíveis em Haskell. Alguém pode …

230 haskell 

Acredito que a comunidade Erlang não tenha inveja do Node.js, pois faz E / S não-bloqueadora nativamente e tem maneiras de escalar implantações facilmente para mais de um processador (algo que nem mesmo está embutido no Node.js.). Mais detalhes em http://journal.dedasys.com/2010/04/29/erlang-vs-node-js e Node.js ou Erlang E o Haskell? O Haskell …

217 multithreading  haskell  concurrency  node.js 

Nota: Esta é uma extensão do encadeamento iniciado em / r / haskell Vamos começar com os fatos: Android é um sistema operacional incrível Haskell é a melhor linguagem de programação do planeta Portanto, combiná-los claramente tornaria o desenvolvimento do Android muito melhor. Então, basicamente, eu gostaria de saber como …

216 android  haskell  executable 

Recentemente, publiquei uma pergunta sobre sintático-2.0 com relação à definição de share. Eu tive isso trabalhando no GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: sup, …

212 haskell  ghc 

Enquanto explico para alguém o que é uma classe de tipo X, luto para encontrar bons exemplos de estruturas de dados que são exatamente X. Então, peço exemplos para: Um construtor de tipo que não é um Functor. Um construtor de tipo que é um Functor, mas não Aplicável. Um …

210 haskell  monads  functor  applicative