Resultados da pesquisa a pedido "functional-programming"
Existe alguma maneira eficiente de converter um número unário em um número binário?
Deixe esses tipos de dados representarem números naturais unários e binários, respectivamente: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = ...
Então: qual é o objetivo?
Qual é o objetivo pretendido doSo [https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Data/So.idr#L14] tipo? Transliterando para o Agda: data So : Bool → Set where oh : So trueSo eleva uma proposição booleana até uma proposição ...
Uma variável usada em sua própria definição?
Um fluxo infinito: val ones: Stream[Int] = Stream.cons(1, ones) Como é possível que um valor seja usado em sua própria declaração? Parece que isso deve produzir um erro do compilador, mas funciona.
F # Reativo Funcional - Armazenando Estados em Jogos
Atualmente, sou um aluno que está aprendendo sobre o paradigma Reativo Funcional usando F #. É um ponto de vista radicalmente novo para mim. Ontem eu aprendi sobre a criação de um simples jogo de pingue-pongue usando esse paradigma. A idéia que ...
Função de ordem superior rápida (par de igrejas, também conhecido como contras), com tipos de parâmetros genéricos que não aceitam tipos de parâmetros de entrada
Eu estava brincando com a programação funcional no Swift 2.1, tentando implementar oPar / codificação de igreja [https://en.wikipedia.org/wiki/Church_encoding#Church_pairs]função (contras [https://en.wikipedia.org/wiki/Cons]= λx λy λf f x y em ...
Tubo para a frente em C #
Continuandominha investigação [https://stackoverflow.com/questions/308481/writing-the-f-recursive-folder-visitor-in-c-seq-vs-ienumerable] de expressar idéias de F # em C #, eu queria um operador de encaminhamento de canal. Para qualquer coisa ...
O que são universos cumulativos e `*: *`?
Na Agda, háSet n. Como eu entendo,Set n estende a hierarquia de tipo de valor no estilo Haskell para níveis infinitos. Isso é,Set 0 é o universo dos tipos normais,Set 1 é o universo de tipos normais,Set 2 é o universo de tipos normais, etc. Por ...
vincular o primeiro argumento da função sem conhecer sua aridade
Eu gostaria de ter uma funçãoBindFirst que vincula o primeiro argumento de uma função sem que eu precise / explique explicitamente a aridade da função usando std :: placeholders. Eu gostaria que o código do cliente parecesse algo assim. #include ...
Quando você usaria reduzir () em vez de soma ()?
Comecei a aprender programação funcional recentemente e criei esse exemplo ao tentar calcular minha média de questionário para uma aula. O exemplo que inventei é: scores = [90, 91, 92, 94, 95, 96, 97, 99, 100] def add(num1, num2): ...
O que é '(apóstrofo) na raquete?
Estou um pouco confuso sobre o significado do' Cadastre-se na raquete. Parece-me que o mesmo sinal tem significados diferentes. Veja dois exemplos ...