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...
Como está atualmente, esta pergunta não se encaixa em nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou experiência, mas esta questão provavelmente irá solicitar debate, argumentos, pesquisas ou discussão extensa. Se você...
Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Eu quero fazer Stringuma instância de Fooable: instance Fooable String where toFoo = FooString GHC então reclama: Illegal instance declaration for `Fooable String'...
Vejo gomuito quando leio material ou fonte de Haskell, mas nunca me senti muito confortável com isso - (acho que tem a conotação negativa de "goto" em minha mente). Comecei a aprender Haskell com LYAH, e foi aí que peguei a tendência de usar acce stepescrever dobras. De onde vem a convenção para...
Estou procurando algumas explicações realmente simples e fáceis de entender de esquemas de recursão e esquemas de correcursão (catamorfismos, anamorfismos, hilomorfismos etc.) que não requerem seguir muitos links ou abrir um livro de teoria de categorias. Tenho certeza de que reinventei muitos...
As typeclasses Haskell da biblioteca padrão MonadPlus, Alternativee Monoidcada uma fornece dois métodos com essencialmente a mesma semântica: Um valor vazio: mzero, empty, ou mempty. Um operador a -> a -> aque une valores na typeclass juntos: mplus, <|>ou mappend. Todos os três...
De acordo com meu entendimento, funções parciais são funções que obtemos ao passar menos parâmetros para uma função do que o esperado. Por exemplo, se isso fosse diretamente válido em Python: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>>...
Atualmente, estou trabalhando em um intérprete simples para uma linguagem de programação e tenho um tipo de dados como este: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr E eu tenho muitas funções que fazem coisas simples como: -- Substitute a value for a...
Eu encontrei um pequeno problema estético no meu projeto musical e ele está me incomodando há algum tempo. Eu tenho um tipo data Key = C | D | ...e posso construir a Scalepartir de a Keye a Mode. Os Modedistingue entre, por exemplo, um grande e um menor escala. Eu posso definir o Modetipo como...
No módulo System.Info, vejo estas funções: os :: String arch :: String compilerName :: String compilerVersion :: Version Por que não há IOlá? Eles estão acessando o sistema ... Estou errado? Minha expectativa era algo como: os :: IO String arch :: IO String compilerName :: IO...
Suponha que eu tenha um parâmetro que exista apenas para o benefício do sistema de tipos, por exemplo, como neste pequeno programa: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int ->...
Estou aprendendo os candidatos de Haskell. Parece-me (provavelmente estou errado) que a purefunção não é realmente necessária, por exemplo: pure (+) <*> [1,2,3] <*> [3,4,5] pode ser escrito como (+) <$> [1,2,3] <*> [3,4,5] Alguém pode explicar o benefício que a...
Esta questão não é subjetiva. Um verbo muito específico é usado no livro referenciado, e eu gostaria de entender qual é a implicação dessa frase, porque temo estar entendendo mal alguma coisa. De Learn You a Haskell , o parágrafo a seguir é o terceiro e o último que contém "assumimos *". data...
Proposições (P -> Q) -> Qe P \/ Qsão equivalentes. Existe uma maneira de testemunhar essa equivalência em Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a -> b) -> b) -> Either a b to =...
Esta questão é uma questão teórica sobre funções Haskell que pode receber argumentos de qualquer tipo. Existe uma diferença entre a maneira como funciona com as assinaturas de tipo de a -> b -> a e c -> a -> c são instanciados? Qualquer ajuda é
Para mim, parece que você sempre pode passar argumentos de função em vez de usar uma classe de tipo. Por exemplo, em vez de definir a classe de classe de igualdade: class Eq a where (==) :: a -> a -> Bool E usá-lo em outras funções para indicar o argumento de tipo deve ser uma instância...
Como exercício, estou escrevendo um analisador para Haskell do zero. Ao fazer o lexer, observei as seguintes regras no Relatório Haskell 2010 : dígito → ascDigit | uniDigit ascDigit → 0| 1| ... 9 uniDigit → qualquer dígito decimal Unicode octit → 0| 1| ... 7 hexágono → dígito | A| ... F|...
Muitos tipos de óptica têm uma representação de van Laarhoven. Por exemplo, um Lensdo tipo Lens s t a b pode ser representado como: Functor f => (a -> f b) -> s -> f t Da mesma forma a Traversal, pode ser representado de maneira semelhante, trocando a Functorrestrição por...
Atualmente, estou estudando o Haskell e tento entender um projeto que usa o Haskell para implementar algoritmos criptográficos. Depois de ler on - line Aprenda um Haskell para o Bem , comecei a entender o código nesse projeto. Então eu descobri que estou preso no seguinte código com o símbolo...
Eu tenho um exercício em que tenho que definir um tipo para representar uma lista com 0 a 5 valores. Primeiro, pensei que poderia resolver isso recursivamente assim: data List a = Nil | Content a (List a) Mas não acho que essa seja a abordagem correta. Você pode, por favor, me dar um...