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...
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...
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...
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 que...
(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...
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.) Eu...
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...
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 estiver errado), tal functor só pode ter...
É 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:
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...
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 tipo A,...
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...
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 que usar a palavra...
A seguinte declaração apresenta um erro: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) data Obj3d =...
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...
Uma das principais vantagens da memória transacional de software que sempre é mencionada é composição e modularidade. Diferentes fragmentos podem ser combinados para produzir componentes maiores. Em programas baseados em bloqueio, esse geralmente não é o caso. Estou procurando um exemplo simples...
A linguagem principal do Haskell é realmente simples. Vindo de uma experiência OO, a principal dificuldade é se adaptar ao paradigma funcional puro. Enquanto aprendia Haskell "básico", sempre considerei as extensões de linguagem como brinquedos para as pessoas de CS ou como experimentos para...
Eu li muitos livros e artigos sobre programação funcional e ainda tenho vergonha de não conseguir entender com certeza alguns conceitos muito básicos. Uma das principais idéias da programação funcional é que a mesma entrada sempre deve produzir a mesma saída. Portanto, digamos, a consulta ao banco...
Vejo agora que o Racket tem tipos. À primeira vista, parece ser quase idêntico à digitação de Haskell. Mas o CLOS de Lisp está cobrindo parte do espaço que os tipos de Haskell cobrem? Criar um tipo Haskell muito estrito e um objeto em qualquer linguagem OO parece vagamente semelhante. Só que eu...
Dado que o Ruby possui bons recursos de operação de lista embutidos - reduza, mapeie, selecione, colete etc. Ele possui Procs, Blocks e Lambdas, e possui um bom suporte de iteração (a eachfamília), seria uma má decisão de projeto se eu tentar escrever todas as minhas coisas de Ruby da maneira mais...