Resultados da pesquisa a pedido "haskell"
Indexação em contêineres: os fundamentos matemáticos
Quando você deseja extrair um elemento de uma estrutura de dados, é necessário fornecer seu índice. Mas o significado deíndice depende da própria estrutura de dados. class Indexed f where type Ix f (!) :: f a -> Ix f -> Maybe a -- indices can ...
Como posso usar evidências contraditórias?
Enquanto escreviasobre como fazer a subtipagem em Haskell [https://stackoverflow.com/a/36680559/791604], ocorreu-me que seria muito conveniente poder "usar" evidências contraditórias, comoTrue ~ False para informar o compilador sobre ramificações ...
Desvantagens do sistema do tipo Scala versus Haskell?
Eu li que o sistema de tipos da Scala é enfraquecido pela interoperabilidade Java e, portanto, não pode executar alguns dos mesmos poderes que o sistema de tipos de Haskell. Isso é verdade? A fraqueza é causada pelo apagamento do tipo ou estou ...
Haskell: Estou entendendo mal como as setas podem ser usadas?
Eu escrevi um código de brinquedo para brincar com o conceito de Arrows. Eu queria ver se poderia escrever uma seta que codificasse o conceito de uma função com estado - fornecendo um valor diferente após chamadas diferentes. {-# LANGUAGE ...
Histomorfismos, zigomorfismos e futurumorfismos especializados em listas
Acabei descobrindo. Veja o vídeo e os slides de uma palestra que dei: slides / pdf [https://github.com/haroldcarr/presentations/blob/master/2017-05-27-lambdaconf-recursion-schemes.pdf] vídeo ...
Como o Haskell lida com a documentação?
Como obtenho documentação online no Haskell? Existe algo tão elegante / prático quanto o que o Python faz abaixo? >>> help([].count) Help on built-in function count: count(...) L.count(value) -> integer -- return number of occurrences of value
Funções que parecem puras para os chamadores, mas usam mutação internamente
Acabei de receber minha cópia doExpert F # 2.0 e me deparei com essa afirmação, que me surpreendeu um pouco: Por exemplo, quando necessário, você pode usar efeitos colaterais em estruturas de dados privadas alocadas no início de um algoritmo e ...
Por que você precisa usar um sinalizador de compilador e um de tempo de execução para obter suporte multicore no Haskell?
O wiki do Haskell mostra que você precisa definir um sinalizador de compilação e um sinal de tempo de execução para obter suporte para vários núcleos. Por que o uso da biblioteca não é suficiente para obter o comportamento correto no momento da ...
Converta uma notação "do" com mais de duas ações para usar a função de ligação
Eu sei que a seguinte função "bind" da notação "do" é equivalente agetLine >>= \line -> putStrLn do line <- getLine putStrLn lineMas como a notação a seguir é equivalente à função bind? do line1 <- getLine putStrLn "enter second line" line2 <- ...
Contando elementos exclusivos em uma lista
Existe uma combinação direta de funções padrão de ordem superior para contar os elementos exclusivos de uma lista? Por exemplo, o resultado para [1, 1, 4, 0, 4, 4]seria algo como [(1,2), (4,3), (0,1)]