Estou procurando iniciar um projeto experimental usando uma linguagem funcional e estou tentando decidir entre Erlang e Haskell, e ambos têm alguns pontos que realmente gosto. Eu gosto do forte sistema e pureza de Haskell. Tenho a sensação de que será mais fácil escrever código realmente...
Uma coisa com a qual nunca cheguei a um acordo em Haskell é como você pode ter constantes e funções polimórficas cujo tipo de retorno não pode ser determinado pelo tipo de entrada, como class Foo a where foo::Int -> a Algumas das razões pelas quais eu não gosto disso: Transparência...
Sei que essa é uma questão muito ampla, ambígua e possivelmente filosófica. Até certo ponto, a palavra-chave mais importante da pergunta - sistema de tipos "forte" - em si está mal definida . Então, deixe-me tentar explicar o que quero dizer. Contexto geral da pergunta Criamos um aplicativo da...
Enquanto aprendia Haskell, enfrentei muitos tutoriais tentando explicar o que são mônadas e por que as mônadas são importantes em Haskell. Cada um deles usou analogias para que fosse mais fácil entender o significado. No final do dia, acabei com três visões diferentes do que é uma mônada: Vista 1:...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Software Engineering Stack Exchange. Fechado há 4 anos . Quero ler Estruturas de...
Por que o Haskell possui um built-in if/then/else, que depende do Booltipo, em vez de ter uma função simples de biblioteca? Tal como if :: Bool -> a -> a -> a if True x _ = x if False _ y =
Linguagens funcionais, por definição, não devem manter variáveis de estado. Por que, então, Haskell, Clojure e outros fornecem implementações de memória transacional de software (STM)? Existe um conflito entre duas
Eu estava pensando sobre as origens do "let" usado em Lisp, Clojure e Haskell. Alguém sabe em que idioma apareceu
Tenho alguma experiência em escrever pequenas ferramentas em Haskell e acho muito intuitivo usar, especialmente para escrever filtros (usando interact) que processam sua entrada padrão e a canalizam para a saída padrão. Recentemente, tentei usar um desses filtros em um arquivo que era cerca de 10...
Esses termos foram mencionados no meu curso universitário. A pesquisa rápida no Google apontou alguns documentos da universidade, mas estou procurando uma explicação
Estou trabalhando no aprendizado do Haskell e me deparei com três maneiras diferentes de lidar com erros nas funções que escrevo: Eu posso simplesmente escrever error "Some error message.", o que gera uma exceção. Posso retornar minha função Maybe SomeType, onde posso ou não ser capaz de retornar...
Eu li que Hindley-Milner não funciona com sistemas de tipos que têm subclasses, e existem outros recursos do sistema de tipos que também não funcionam bem com ele. O Go atualmente possui apenas inferência de tipo muito limitada no :=operador. Mas Go não tem subclasses no sentido tradicional, apenas...
Existem algumas razões teóricas para isso (como a verificação ou inferência de tipo se tornariam indecidíveis) ou razões práticas (muito difíceis de implementar adequadamente)? Atualmente, podemos envolver coisas newtypecomo newtype Pair a = Pair (a, a) e depois tem Pair :: * -> * mas não...
Ao explicar o combinador Y no contexto de Haskell, geralmente é observado que a implementação direta não verifica o tipo no Haskell devido ao seu tipo recursivo. Por exemplo, do Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite...
Eu sei que Haskell já tem a capacidade de parametrizar um tipo sobre outro tipo (semelhante à programação de modelos em C ++), mas estou me perguntando se Haskell também pode parametrizar um tipo sobre valores - se ele suporta tipos dependentes. Com tipos dependentes, você pode ter um tipo...
Recentemente, eu passei pelo guia Aprenda um Haskell para o bem grande e, como prática, queria resolver o problema do Projeto Euler 5 com ele, que especifica: Qual é o menor número positivo que é igualmente divisível por todos os números de 1 a 20? Decidi primeiro escrever uma função...
Eu era desenvolvedor Java há muito tempo, mas recentemente entrei para uma equipe da Haskell. No mundo java, se você tiver um projeto grande, com várias equipes trabalhando nele, uma abordagem comum é usar um servidor de artefato como o Maven para facilitar e acelerar o desenvolvimento. Várias...
Suponha que eu queira escrever uma biblioteca que lide com vetores e matrizes. É possível agrupar as dimensões nos tipos, para que operações de dimensões incompatíveis gerem um erro no tempo de compilação? Por exemplo, eu gostaria que a assinatura do produto escalar fosse algo como dotprod :: Num...
Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 5 anos . Existem vários...
Bloqueado . Esta pergunta e suas respostas estão bloqueadas porque a questão está fora do tópico, mas tem um significado histórico. No momento, não está aceitando novas respostas ou interações. Estou envolvido no ensino de matemática para turmas com requisitos como AS e...