Perguntas com a marcação «haskell»

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 …

87 scala  haskell  types  f#  higher-kinded-types 

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, tornando-o livre de pontos. Fiquei me perguntando …

87 haskell  types  functional-programming  logic  agda 

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 …

87 haskell  fixpoint-combinators  letrec 

Em GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Por que o primeiro não é uma exceção aninhada?

86 exception  haskell 

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 também diz "manualmente usar esta …

86 haskell  yesod  esqueleto 

Ao compilar meu aplicativo Haskell com a -Wallopção, GHC reclama sobre instâncias órfãs, por exemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result A classe de tipo ToSElemnão é minha, ela é definida por HStringTemplate . Agora eu sei como consertar isso (mover a declaração da instância para o módulo onde …

86 haskell  ghc  typeclass 

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 função …

86 haskell  syntax  function-composition 

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ê acha que esta questão pode ser melhorada e possivelmente reaberta, …

85 haskell  programming-languages 

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' (All instance …

85 haskell  ghc  typeclass  type-systems 

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 …

83 haskell  naming-conventions 

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 especificam essas leis às quais as instâncias …

83 haskell  functional-programming  typeclass  applicative  monoids 

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 desses esquemas inconscientemente e os "apliquei" em minha …

83 haskell  recursion  functional-programming  recursion-schemes 

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) >>> new_function(2) 3 No trecho de código acima, …

55 python  haskell  functional-programming  partial-application  partial-functions 

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 …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

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

39 haskell  dsl