Qual é a melhor maneira de encerrar um fold mais cedo? Como um exemplo simplificado, imagine que eu queira somar os números em um Iterable, mas se encontrar algo que não estou esperando (digamos um número ímpar), posso encerrar. Esta é uma primeira aproximação def sumEvenNumbers(nums:...
Estou tentando visualizar alguns sistemas físicos automáticos simples (coisas como pêndulo, braços de robô, etc.) em Haskell. Muitas vezes, esses sistemas podem ser descritos por equações como df/dt = c*f(t) + u(t) onde u(t)representa algum tipo de 'controle inteligente'. Esses sistemas...
Eu li alguns possíveis artigos que pude encontrar na internet sobre polimorfismo . Mas acho que não consegui entender o significado disso e sua importância. A maioria dos artigos não diz por que isso é importante e como posso obter um comportamento polimórfico em OOP (é claro em...
Fechado . Esta questão precisa de detalhes ou clareza . Atualmente não está aceitando respostas. Quer melhorar esta questão? Adicione detalhes e esclareça o problema editando esta postagem . Fechado há 3 meses . Melhore esta questão Tenho...
Fechado . Esta pergunta é baseada em opinião . Atualmente não está aceitando respostas. Quer melhorar esta questão? Atualize a pergunta para que possa ser respondida com fatos e citações editando este post . Fechado há 2 anos . Melhore esta...
Eu queria saber se existe alguma maneira de puxar isso em Java. Acho que não é possível sem suporte nativo para fechamentos.
A Wikipedia diz que Ruby é uma linguagem funcional, mas não estou convencido. Por que ou por que não?
Estou procurando um algoritmo para gerar permutações de um conjunto de forma que eu possa fazer uma lista preguiçosa deles em Clojure. ou seja, eu gostaria de iterar sobre uma lista de permutações onde cada permutação não é calculada até que eu solicite, e todas as permutações não precisam ser...
Recentemente, concluí um curso universitário que apresentava Haskell e Agda (uma linguagem de programação funcional com tipo dependente) e queria saber se seria possível substituir o cálculo lambda nestes pela lógica combinatória. Com Haskell, isso parece possível usando os combinadores S e K,...
Eu me pergunto qual é a diferença entre essas operações no Scheme. Eu vi perguntas semelhantes no Stack Overflow, mas elas são sobre Lisp, e não há uma comparação entre três desses operadores. Estou escrevendo os diferentes tipos de comandos no Scheme e obtenho as seguintes saídas: (eq? 5 5)...
Qual é a motivação para a avaliação da atribuição do Scala à Unidade em vez do valor atribuído? Um padrão comum na programação de E / S é fazer coisas assim: while ((bytesRead = in.read(buffer)) != -1) { ... Mas isso não é possível no Scala porque ... bytesRead = in.read(buffer) .....
As duas condições que definem uma função puresão as seguintes: Sem efeitos colaterais (ou seja, apenas alterações no escopo local são permitidas) Sempre retorna a mesma saída, dada a mesma entrada Se a primeira condição for sempre verdadeira, há algum momento em que a segunda condição não...
Tenho lido muito sobre encerramentos e acho que os entendo, mas sem obscurecer o quadro para mim e para os outros, espero que alguém possa explicar os encerramentos da forma mais sucinta e clara possível. Estou procurando uma explicação simples que possa me ajudar a entender onde e por que eu...
Estou procurando algumas explicações realmente simples e fáceis de entender de esquemas de recursão e esquemas de correcursão (catamorfismos, anamorfismos, hilomorfismos etc.) que não requerem seguir muitos links ou abrir um livro de teoria de categorias. Tenho certeza de que reinventei muitos...
As typeclasses Haskell da biblioteca padrão MonadPlus, Alternativee Monoidcada uma fornece dois métodos com essencialmente a mesma semântica: Um valor vazio: mzero, empty, ou mempty. Um operador a -> a -> aque une valores na typeclass juntos: mplus, <|>ou mappend. Todos os três...
De acordo com meu entendimento, funções parciais são funções que obtemos ao passar menos parâmetros para uma função do que o esperado. Por exemplo, se isso fosse diretamente válido em Python: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>>...
Atualmente, estou trabalhando em um intérprete simples para uma linguagem de programação e tenho um tipo de dados como este: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr E eu tenho muitas funções que fazem coisas simples como: -- Substitute a value for a...
Para mim, parece que você sempre pode passar argumentos de função em vez de usar uma classe de tipo. Por exemplo, em vez de definir a classe de classe de igualdade: class Eq a where (==) :: a -> a -> Bool E usá-lo em outras funções para indicar o argumento de tipo deve ser uma instância...
Esta questão é uma questão teórica sobre funções Haskell que pode receber argumentos de qualquer tipo. Existe uma diferença entre a maneira como funciona com as assinaturas de tipo de a -> b -> a e c -> a -> c são instanciados? Qualquer ajuda é
Muitos tipos de óptica têm uma representação de van Laarhoven. Por exemplo, um Lensdo tipo Lens s t a b pode ser representado como: Functor f => (a -> f b) -> s -> f t Da mesma forma a Traversal, pode ser representado de maneira semelhante, trocando a Functorrestrição por...