Uma linguagem de programação funcional
Estou começando a aprender Haskell . Eu sou muito novo e estou lendo alguns livros on-line para entender meus conceitos básicos. Um dos "memes" sobre os quais as pessoas familiarizadas costumam falar é a coisa toda "se compilar, funcionará *" - que eu acho que está relacionada à força do sistema...
Já vi pessoas conversando sobre o Free Monad com o Intérprete , particularmente no contexto de acesso a dados. Qual é esse padrão? Quando posso querer usá-lo? Como isso funciona e como eu o implementaria? Entendo (de posts como este ) que se trata de separar o modelo do acesso a dados. Como ele...
Sei que algumas coisas são mais fáceis / difíceis em um idioma que no outro, mas estou interessado apenas em recursos relacionados ao tipo que são possíveis em um e impossíveis / irrelevantes no outro. Para torná-lo mais específico, vamos ignorar as extensões do tipo Haskell, já que existem muitas...
Estou aprendendo programação funcional com Haskell, e tento entender conceitos primeiro entendendo por que preciso deles. Gostaria de saber o objetivo das setas nas linguagens de programação funcional. Que problema eles resolvem? Eu verifiquei
Existem alguns problemas que são facilmente resolvidos por tipos de dados algébricos, por exemplo, um tipo de lista pode ser expresso de maneira muito sucinta como: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l...
Tenho alguma experiência em linguagens de programação orientada a objetos como c # ou ruby. Eu sei como projetar um programa no estilo orientado a objetos, como criar classes e objetos e como definir relações entre eles. Eu também conheço alguns padrões de design. Como as pessoas escrevem...
Estou pensando em mergulhar em Haskell para o meu próximo projeto pessoal (relativamente trivial). As razões pelas quais estou abordando Haskell são: Coloque minha cabeça em uma linguagem puramente funcional Rapidez. Embora eu tenha certeza de que isso pode ser discutido, o perfil de que eu vi...
A IOmônada em Haskell é frequentemente explicada como uma mônada estadual, onde o estado é o mundo. Portanto, um valor do tipo IO amonad é visto como algo parecido worldState -> (a, worldState). Algum tempo atrás, li um artigo (ou um post na lista de emails / blogs) que criticou essa visão e...
Quais são algumas técnicas que eu poderia usar para refatorar consistentemente o código, removendo a dependência de tipos existenciais? Normalmente, eles são usados para desqualificar construções indesejadas do seu tipo, bem como para permitir o consumo com um mínimo de conhecimento sobre o tipo...
Eu sei que Lisp e Haskell são linguagens de programação lógica e funcional, respectivamente, mas o que exatamente isso significa? Como eles diferem de outros idiomas? Ouvi dizer que aprender isso fará de você um programador melhor e melhorará sua lógica. Isso é verdade, e se eu for aprendendo Lisp...
Atualmente, eu codigo com C, C ++ e Python. Estou querendo aprender uma linguagem de programação funcional e, agora, estou me inclinando para Haskell. NÃO quero iniciar uma guerra "Haskell vs Lisp" aqui; o que eu quero saber é o seguinte: se eu aprender Haskell principalmente para exposição à...
Costumo encontrar as seguintes declarações / argumentos: Linguagens de programação funcionais puras não permitem efeitos colaterais (e, portanto, são pouco úteis na prática, porque qualquer programa útil tem efeitos colaterais, por exemplo, quando interage com o mundo externo). Linguagens de...
Eu estava pesquisando sobre o conjunto de compiladores gcc na wikipedia aqui , quando isso surgiu: O GCC começou usando os analisadores LALR gerados com o Bison, mas passou gradualmente para os analisadores escritos à mão; para C ++ em 2004 e para C e Objective-C em 2006. Atualmente, todos os...
Esse pode ser um tipo filosófico de pergunta, mas acredito que haja uma resposta objetiva. Se você ler o artigo da Wikipedia sobre Haskell, poderá encontrar o seguinte: A linguagem está enraizada nas observações de Haskell Curry e seus descendentes intelectuais, de que "uma prova é um programa;...
A linguagem Clean usa tipos de exclusividade para manipular E / S em uma configuração puramente funcional. Por que o comitê Haskell optou por mônadas ? Houve outras propostas de tratamento que o comitê investigou, mas decidiu contra? Nota : Não estou procurando uma guerra santa entre mônadas e...
Sinto-me à vontade com a programação em C e C # e explorarei o C ++ no futuro. Eu posso estar interessado em explorar a programação funcional como um paradigma de programação diferente. Estou fazendo isso por diversão, meu trabalho não envolve programação de computadores e sou um pouco inspirado...
Digamos, eu tenho a lógica abaixo. Como escrever isso em Programação Funcional? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Os exemplos na...
Estou estudando Haskell com o objetivo de entender a programação funcional, com a expectativa de aplicar a percepção que obtiver em outras linguagens (principalmente Groovy, Python, JavaScript). Escolhi Haskell porque tive a impressão de que é muito puramente funcional e não permitiria nenhuma...
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...
Eu li um pouco sobre semântica denotacional (DS) e estou muito intrigado com o processo de projetar programas de computador em que tipos e funções têm mapeamentos fortes e claros para a matemática. Existem recursos que discutem a criação de programas baseados no DS em detalhes? Eu já vi alguns...