Se as linguagens de programação funcional não podem salvar nenhum estado, como eles fazem coisas simples como ler a entrada de um usuário? Como eles "armazenam" a entrada (ou armazenam quaisquer dados para esse assunto?) Por exemplo: como essa coisa simples em C se traduziria em uma linguagem de...
O Hackage tem vários pacotes para transformadores monad: mtl : Biblioteca do transformador Monad transformadores : functor de concreto e transformadores monad monads-fd : classes Monad, usando dependências funcionais monads-tf : classes Monad, usando famílias de tipo monadLib : uma coleção de...
Olhando o Prelúdio de Haskell, vejo uma função const : const x _ = x Não consigo encontrar nada relevante sobre esta função. Qual é o ponto? Alguém pode dar um exemplo de onde essa função pode ser usada?
Estou trabalhando em Escreva para você mesmo um esquema em 48 horas (até cerca de 85 horas) e cheguei à parte sobre como adicionar variáveis e atribuições . Há um grande salto conceitual neste capítulo, e eu gostaria que tivesse sido feito em duas etapas, com uma boa refatoração no meio, em...
Alguém pode me dizer por que o Prelúdio de Haskell define duas funções separadas para exponenciação (ou seja, ^e **)? Achei que o sistema de tipos deveria eliminar esse tipo de duplicação. Prelude> 2^2 4 Prelude> 4**0.5 2.0
Ao ler https://en.uncyclopedia.co/wiki/Haskell (e ignorando todas as coisas "ofensivas"), me deparei com a seguinte parte do código ofuscado: fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 Quando executo esse trecho de...
Um exercício de programação clássico é escrever um interpretador Lisp / Scheme em Lisp / Scheme. O poder da linguagem completa pode ser aproveitado para produzir um intérprete para um subconjunto da linguagem. Existe um exercício semelhante para Haskell? Eu gostaria de implementar um subconjunto...
Todos nós sabemos (ou deveríamos saber) que Haskell é preguiçoso por padrão. Nada é avaliado até que deva ser avaliado. Então, quando algo deve ser avaliado? Existem pontos em que Haskell deve ser rigoroso. Eu chamo isso de "pontos de rigidez", embora esse termo em particular não seja tão...
Em meu trabalho recente com o Gibbs sampling, tenho feito grande uso do RVarque, na minha opinião, fornece uma interface quase ideal para geração de números aleatórios. Infelizmente, não consegui usar Repa devido à impossibilidade de usar ações monádicas em mapas. Embora mapas claramente...
Estou tentando visualizar alguns sistemas físicos automáticos simples (coisas como pêndulo, braços de robô, etc.) em Haskell. Muitas vezes, esses sistemas podem ser descritos por equações como df/dt = c*f(t) + u(t) onde u(t)representa algum tipo de 'controle inteligente'. Esses sistemas...
Eu geralmente ouvi que o código de produção deve evitar o uso de E / S lenta. Minha pergunta é, por quê? É normal usar o Lazy I / O fora de apenas brincar? E o que torna as alternativas (por exemplo, enumeradores) melhores?
Fechado . Esta pergunta é baseada em opinião . Atualmente não está aceitando respostas. Quer melhorar esta questão? Atualize a pergunta para que possa ser respondida com fatos e citações editando este post . Fechado há 2 anos . Melhore esta...
Eu descobri o comando "time" no Unix hoje e pensei em usá-lo para verificar a diferença nos tempos de execução entre funções recursivas de cauda e recursivas normais em Haskell. Eu escrevi as seguintes funções: --tail recursive fac :: (Integral a) => a -> a fac x = fac' x 1 where fac' 1...
Este pedaço de código Haskell é executado muito mais devagar -O, mas não-O deve ser perigoso . Alguém pode me dizer o que aconteceu? Se for importante, é uma tentativa de resolver este problema e usa pesquisa binária e árvore de segmento persistente: import Control.Monad import Data.Array data...
Fiquei um pouco confuso com a documentação do fix(embora ache que entenda o que ela deve fazer agora), então olhei o código-fonte. Isso me deixou mais confuso: fix :: (a -> a) -> a fix f = let x = f x in x Como exatamente isso retorna um ponto fixo? Decidi experimentar na linha de...
Recentemente, concluí um curso universitário que apresentava Haskell e Agda (uma linguagem de programação funcional com tipo dependente) e queria saber se seria possível substituir o cálculo lambda nestes pela lógica combinatória. Com Haskell, isso parece possível usando os combinadores S e K,...
Tenho feito desenvolvimento em F # há um tempo e gosto disso. No entanto, um chavão que eu sei que não existe no F # é tipos de tipo superior. Eu li material sobre tipos de classe superior e acho que entendo sua definição. Só não sei por que eles são úteis. Alguém pode fornecer alguns exemplos...
Estou tentando entender o que o operador ponto está fazendo neste código Haskell: sumEuler = sum . (map euler) . mkList Todo o código-fonte está abaixo. Meu entendimento O operador ponto toma as duas funções sume o resultado de map eulere o resultado de mkListcomo a entrada. Mas, sumuma...
Em GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Por que o primeiro não é uma exceção aninhada?
Como posso fazer o esqueleto gerar uma string SQL a partir de uma frominstrução? A documentação do toRawSqldiz que "você pode simplesmente ativar o log de consultas de persistente". Tentei todas as formas possíveis MonadLoggerque pude entender, mas nunca imprimi nenhum SQL. A mesma documentação...