Perguntas com a marcação «haskell»

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 4 anos . Por que o tipo de opção Scala não é …

13 language-design  haskell  scala  naming-standards  monad 

Edit: Estou reformulando a pergunta um pouco. Aparentemente, causei alguma confusão porque não percebi que o termo destruidor é usado no OOP para algo bem diferente - é uma função invocada quando um objeto está sendo destruído. Na programação funcional, (tentamos) evitar o estado mutável, para que não exista esse …

13 terminology  functional-programming  haskell  data 

Deixei um emprego (para me mudar para outro país) onde programava em Javascript e Haskell (algum python) na maioria das vezes. Eu realmente gostei porque as pessoas eram objetivas, positivas, matemáticas e ainda assim faziam um monte de coisas. Era uma loja verdadeiramente profissional. Agora eu trabalho em uma loja …

13 ruby  haskell  agile 

Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que essa pergunta pode ser melhorada e possivelmente reaberta, visite o centro …

13 learning  functional-programming  lisp  haskell  recursion 

É possível usar tipos estáticos ou dependentes para provar que uma função é idempotente? Pesquisei no Google e em vários lugares no StackOverflow / StackExchange em busca de respostas sem sorte. O mais próximo que encontrei foi essa conversa sobre Idris: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Infelizmente, essa discussão está um pouco acima da …

12 haskell 

Aqui está um simples problema de programação do SPOJ: http://www.spoj.com/problems/PROBTRES/ . Basicamente, você é solicitado a produzir o maior ciclo de Collatz para números entre iej. (O ciclo de Collatz de um número $ n $ é o número de etapas para, eventualmente, passar de $ n $ a 1.) …

12 programming-practices  functional-programming  haskell 

No Haskell, o functor da classe de tipos Functor é definido da seguinte forma (consulte, por exemplo, wiki do Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Tanto quanto eu entendo (por favor me corrijam se eu …

12 haskell 

(observe que estou colocando a pergunta aqui porque se trata da mecânica conceitual dela, e não de um problema de codificação) Eu estava trabalhando em um pequeno programa, que usava uma sequência de números de fibonacci em sua equasão, mas notei que, se eu superasse um certo número, ele ficaria …

12 haskell  recursion 

Estou aprendendo programação funcional com Haskell . Enquanto isso, estou estudando a teoria dos autômatos e, como os dois parecem se encaixar bem, estou escrevendo uma pequena biblioteca para brincar com autômatos. Aqui está o problema que me fez fazer a pergunta. Enquanto estudava uma maneira de avaliar a acessibilidade …

12 algorithms  functional-programming  haskell 

Então, eu estou fazendo um cliente javascript / html bastante envolvido com muitas chamadas ajax e outros envolvimentos do callback-ism. Estou entretendo o pensamento de usar o Fay para esse fim. Estou ciente de Elm. Tentei e gostei dos elementos FRP. Agora, estou procurando saber se uma estrutura semelhante é …

12 javascript  functional-programming  haskell  paradigms 

Estou prestes a iniciar um projeto de simulação / modelagem. Eu já sei que o OOP é usado para esse tipo de projeto. No entanto, estudar Haskell me fez pensar em usar o paradigma FP para modelar um sistema de componentes. Deixe-me elaborar: Digamos que eu tenha um componente do …

12 c++  object-oriented  functional-programming  haskell  modeling 

Por mais que a FP tenha feito, no final, todos os nossos programas estão estruturados. Ou seja, não importa o quão puro ou funcional nós os tornemos - eles sempre são traduzidos para montagem, então o que realmente passa por trás dos capuzes são instruções, estados e loops. Estamos meio …

12 functional-programming  computer-science  haskell  lisp  clojure 

A intuição de um tipo opcional como Maybe Inté que ou não existe Int (assim, Nothingexiste) ou que existe algum Int; há algo lá. Faz sentido para mim que chamamos o construtor de tipos para o caso "negativo" Nothing, pois significa exatamente isso - que não existe Intlá. Mas por …

11 functional-programming  haskell  data-types  null 

Eu quero definir uma classe de tipo para objetos geométricos que podem ser cruzados: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies A idéia é ter funções de interseção de uso geral que possam manipular …

11 haskell  type-systems  typeclass 

Estamos implementando uma biblioteca de compactação de matriz baseada em uma sintaxe gramatical bidimensional modificada. Agora, temos duas abordagens para nossos tipos de dados - qual será melhor em caso de uso de memória? (queremos compactar algo;)). As gramáticas contêm NonTerminals com exatamente 4 Productions ou um Terminal no lado …

11 functional-programming  haskell  memory  grammar