Resultados da pesquisa a pedido "haskell"
Haskell pré-monádica I / O
Eu me pergunto como I / O foram feitos em Haskell nos dias em que a mônada IO ainda não foi inventada. Alguém conhece um exemplo.Edit: Pode I / O ser feito s...
Implementando um intérprete de idiomas em Haskell
Eu quero implementar um intérprete de linguagem imperativo em Haskell (para fins educacionais). Mas é difícil para mim criar a arquitetura certa para o meu i...
Como comparar duas funções para equivalência, como em (λx.2 * x) == (λx.x + x)?
Existe uma maneira de comparar duas funções para igualdade? Por exemplo,
Bytestrings de Haskell: Como combinar padrões?
Sou um novato da Haskell e estou tendo um pouco de dificuldade para descobrir como fazer a correspondência de padrõesByteString. o[Char] versão da minha função se parece com: dropAB :: String -> String dropAB [] = [] dropAB (x:[]) = x:[] dropAB ...
Instância de Functor para um GADT com restrição de tipo
Hoje eu queria investigar se é possível construir um tipo de dados de tal forma que ele não armazene os dados do tipo de sua assinatura de tipo, mas outra re...
Variáveis equivalentes de correspondência de padrões em Haskell, como em Prolog
No prólogo, podemos fazer algo como o seguinte: myFunction a (a:xs) = ...Isto é, quando o primeiro argumento demyFunction é o mesmo que o primeiro item da lista que está no segundo argumento, essa função será avaliada como.... Minha pergunta ...
Igualdade de ponteiro em Haskell?
Existe alguma noção de qualidade de ponteiro em Haskell? == requer que as coisas estejam derivando Eq, e eu tenho algo que contém um (Value -> IO Value), ...