Resultados da pesquisa a pedido "template-haskell"

1 a resposta

Template Haskell: Existe uma função (ou sintaxe especial) que analisa uma String e retorna Q Exp?

Estou tentando aprender um pouco de Template Haskell e Quasi Quotation, e estou procurando por uma função que faça umaString e analisa paraQ Exp, então o tipo é: String -> Q ExpTentei pesquisar no hoogle, mas os resultados que vi ...

1 a resposta

Como examinar um nome de construtor de dados citado no Template Haskel

Estou tentando aprender alguns modelos Haskell. Como exercício, escrevi uma função que pode gerar coisas comoisLeft eisRight (inspirado poressa questã [https://stackoverflow.com/q/7213395/775806]). Aqui está minha humilde tentativa: isA connam ...

3 a resposta

Existe algum tutorial sobre modelo Haskell para alguém que não conhece o Lis

Eu queria aprender o Template Haskell, mas todos os tutoriais que eu acho presumem que você aprendeu lisp e sabe o que são macros lisp, ou que conhece algum jargão da teoria cs - coisas como emendas, quase-cotações, etc ... - ou alguns resultados ...

1 a resposta

É possível obter um tipo de expressão usando o Template Haskell?

Dada uma expressãofoo, Eu poderia declarar uma função de nível superior bar = fooe obtenha o tipo defoo ComoType porreificação [http://hackage.haskell.org/package/template-haskell-2.8.0.0/docs/Language-Haskell-TH.html#g:4] bar: case reify 'bar ...

6 a resposta

What's so bad about Template Haskell?

1 a resposta

Haskell, instância Gen de B quando a classe A fornece informações suficientes para a classe B

Enquanto escrevia uma classe para um tipo de coleção / contêiner (btw aponte-me para os tipos existentes se estiver reinventando a roda) para fornecer uma interface geral para adicionar e remover elementos de qualquer tipo de 'coleção'. class ...

1 a resposta

Haskell: modelo Haskell e o escopo

Este código é bem compilado: data None = None { _f :: Int } type Simpl = Env type Env = IntNo entanto, recebi um erro com este código: {-# LANGUAGE TemplateHaskell #-} import Control.Lens data None = None { _f :: Int } type Simpl = Env ...

5 a resposta

Como escrever uma mônada que imprime “passo i de N” ao executar cada afirmação na mônada?

Eu nem tenho certeza se isso é possível em qualquer tipo de mônada; isso viola leis de mônadas? Mas parece algo que deveria ser possível em algum tipo de con...

1 a resposta

Quais são as diferenças entre inline-c e language-c-inline?

Estive analisando brevemente as bibliotecas de quase cotações para Haskell. Essas bibliotecas permitem que o Haskell se integre a outros idiomas. Para integrar com C, parece haver dois pacotes com funcionalidade semelhante: inline-c ...

3 a resposta

É possível usar um açúcar sintático de bracketing para um functor aplicativo?