Perguntas com a marcação «functional-programming»

Eu preciso armazenar conjuntos de elementos do tipo a. O tipo a é parcialmente ordenado, portanto, a comparação de e pode retornar menor, maior, igual ou incomparável.a1a1a_1a2a2a_2 Um problema com as hashtables é que dois elementos iguais podem ser representados de maneira diferente, e eu não tenho acesso a uma …

15 ds.data-structures  functional-programming  sorting 

Eu estava lendo um capítulo em LYAH que realmente não fazia sentido para mim. Entendo que os zíperes podem atravessar arbitrariamente uma estrutura semelhante a uma árvore, mas preciso de alguns esclarecimentos. Além disso, os zíperes podem ser generalizados para qualquer estrutura de dados?

15 ds.data-structures  functional-programming  tree 

O que impede o ghc de traduzir o Haskell em uma linguagem de programação concatenativa, como lógica combinatória, e simplesmente usar a alocação de pilha para tudo? Segundo a Wikipedia, a tradução do cálculo lambda para a lógica combinatória é trivial e também as linguagens de programação concatenativas podem contar …

14 functional-programming  haskell 

Uma linguagem funcional pode ser vista como uma categoria em que seus objetos são tipos e funções de morfismos entre eles. Como as classes de tipo se encaixam nesse modelo? Suponho que devemos considerar apenas as implementações que satisfazem a restrição que a maioria das classes de tipo possui, mas …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Estou explorando a idéia de escrever um DBMS de maneira puramente funcional. A estrutura de dados tradicional usada para indexação é a B-Tree. Gostaria de saber algum equivalente puramente funcional do B-Tree que seria otimizado para minimizar o acesso ao disco. Obrigado.

14 ds.data-structures  functional-programming  db.databases 

Considere a lista com poucas ligações simples em um ambiente puramente funcional. Seus louvores foram cantados do topo das montanhas e continuarão sendo cantados. Aqui irei abordar um dos muitos pontos fortes e a questão de como ele pode ser estendido à classe mais ampla de sequências puramente funcionais baseadas …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

Como estou interessado em analisadores (principalmente em gramáticas de expressão do analisador), estou me perguntando se há algum trabalho que forneça um tratamento categórico para a análise. Qualquer referência sobre aplicações da teoria de categorias à análise é altamente apreciada. melhor,

13 reference-request  functional-programming  ct.category-theory  parsing 

Lembre-se da transformação de passagem de continuação (transformação CPS) que leva para β A : = R R A (onde R é fixo) ef : A → B para β f : β A → β B definida por βUMAUMAAβA : = RRUMAβUMA:=RRUMA\beta A \mathrel{{:}{=}} R^{R^A}RRRf: A → Bf:UMA→Bf : …

13 functional-programming  monad  continuations  cps-transforms 

A pergunta O que há de novo em estruturas de dados puramente funcionais desde Okasaki? , e a resposta épica do jbapple, mencionada usando listas de diferenças na programação funcional (em oposição à programação lógica), algo em que recentemente me interessei. Isso me levou a encontrar a lista de diferenças …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Recentemente, tentei implementar o Cedille-Core de Aaron , uma linguagem de programação minimalista capaz de provar teoremas matemáticos sobre seus próprios termos. Eu também provei a indução para tipos de dados codificados em λ, o que deixou mais claro por que suas extensões seriam necessárias. Menos ainda, ainda me pergunto …

12 type-theory  functional-programming  constructive-mathematics 

Acompanhamento O que é um exemplo de uma Mônada que é uma Alternativa, mas não uma MonadPlus? : Suponha que é uma mônada. Quais são as relações betweem ser uma alternativa , um MonadPlusCatch e uma MonadPlusDistr ? mmmmmmmPara cada um dos seis pares possíveis, eu gostaria de ter uma …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

No pior caso puramente funcional , listas ordenadas por tempo constante , Brodal et al. apresentar árvores equilibradas puramente funcionais com O (1) concatenado e O (lg n) inserir, excluir e localizar. A estrutura de dados é um pouco complicada. Existe uma árvore de pesquisa balanceada mais simples com O …

12 functional-programming  ds.data-structures 

Eu tenho perguntas sobre funções puras. De acordo com a página da Wikipedia, um dos requisitos para uma função pura é: A avaliação do resultado não causa nenhum efeito colateral ou saída semanticamente observável, como mutação de objetos mutáveis ​​ou saída para dispositivos de E / S. Agora, o que …

11 functional-programming  semantics 

Imagine uma linguagem de programação funcional cujos únicos tipos de dados são escalares numéricos e aninhamentos arbitrários de matrizes. O idioma não possui meios de iteração ilimitada, portanto, o seguinte não é permitido: loops explícitos (pouco uso sem efeitos colaterais) recursão funções arbitrárias de primeira classe (sem combinador y) A …

11 complexity-classes  functional-programming  dc.parallel-comp 

Os combinadores de interação foram propostos como um alvo de compilação para o cálculo λ antes. Esse documento implementa o cálculo λ completo. Sabe-se também que é possível otimizar codificações de interação-rede do cálculo λ para o subconjunto de termos λ que é tipável por EAL. Esse artigo implementa esse …

10 lambda-calculus  functional-programming  interaction-nets