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

Estou aprendendo Haskell e sou fascinado pelo idioma. No entanto, eu não tenho matemática séria ou formação em CS. Mas sou um programador de software experiente. Quero aprender a teoria das categorias para me tornar melhor em Haskell. Quais tópicos da teoria das categorias devo aprender para fornecer uma boa …

118 programming-languages  functional-programming  category-theory 

Alguém poderia explicar a diferença entre tipos dependentes e tipos de refinamento? Pelo que entendi, um tipo de refinamento contém todos os valores de um tipo que atendem a um predicado. Existe um recurso de tipos dependentes que os distingue? Se isso ajudar, me deparei com tipos refinados pelo projeto …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

A complexidade do algoritmo é projetada para ser independente dos detalhes de nível inferior, mas é baseada em um modelo imperativo, por exemplo, o acesso à matriz e a modificação de um nó em uma árvore levam o tempo O (1). Este não é o caso em linguagens funcionais puras. …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Se algo é simples, deve ser completamente explicável com algumas palavras. Isso pode ser feito para o cálculo λ: O cálculo λ é uma gramática sintática (basicamente uma estrutura) com uma regra de redução (o que significa que um procedimento de busca / substituição é aplicado repetidamente a todas as …

32 functional-programming  type-theory 

O FRP trata de transmitir eventos e comportamentos através de funções puras. O modelo do ator - pelo menos, como implementado no Akka - é sobre o fluxo de mensagens imutáveis ​​(que podem ser consideradas eventos discretos) através de objetos potencialmente impuros, chamados atores. Então, na superfície, eles parecem relacionados. …

30 distributed-systems  functional-programming  programming-paradigms 

Eu leio há algumas semanas sobre o Cálculo Lambda, mas ainda não vi nada que seja materialmente diferente das funções matemáticas existentes e quero saber se é apenas uma questão de notação ou se há alguma novidade. propriedades ou regras criadas pelos axiomas do cálculo lambda que não se aplicam …

29 lambda-calculus  functional-programming 

Existe uma referência clara, com pseudo-código, sobre como implementar um intérprete Prolog em uma linguagem puramente funcional? O que encontrei até agora parece lidar apenas com linguagens imperativas, é apenas uma demonstração do Prolog implementado por si só, ou não oferece nenhum algoritmo concreto para usar na interpretação. Eu ficaria …

25 functional-programming  prolog  logic-programming 

Seguindo o mesmo pensamento que esta declaração de Andrej Bauer nesta resposta A comunidade Haskell desenvolveu várias técnicas inspiradas na teoria das categorias, das quais as mônadas são mais conhecidas, mas não devem ser confundidas com as mônadas . Qual é a relação entre functores em SML e functores na …

24 programming-languages  functional-programming  category-theory 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 5 anos . Ainda estou aprendendo programação funcional (com f #) e recentemente comecei a ler sobre expressões de computação. Ainda não entendo completamente o conceito e uma coisa que me mantém …

22 functional-programming 

Ao ler a resposta de Uday Reddy a Qual é a relação entre os functores na SML e na teoria das categorias? Uday estados A teoria das categorias ainda não sabe como lidar com funções de ordem superior. Algum dia, será. Como eu pensava que a teoria das categorias pudesse …

22 functional-programming  category-theory 

A programação funcional emprega estruturas de dados persistentes e objetos imutáveis. Minha pergunta é por que é crucial ter essas estruturas de dados aqui? Quero entender em um nível baixo o que aconteceria se a estrutura de dados não fosse persistente? O programa falharia com mais frequência?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

Depois de aprender Haskell e outras linguagens FP não puras, decidi ler sobre a teoria das categorias. Depois de obter um bom entendimento da teoria das categorias, comecei a pensar em como os conceitos da teoria das categorias podem ser usados ​​para pensar em criar programas, mas não importa o …

21 functional-programming  category-theory 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Sou estudante universitário e atualmente estamos estudando o Lambda Calculus. No entanto, ainda tenho dificuldade em entender exatamente por que isso é útil para mim. Sei …

21 lambda-calculus  functional-programming 

As árvores dinâmicas desempenham um papel importante na resolução de problemas como fluxos de rede, gráficos dinâmicos, problemas combinatórios ("Árvores dinâmicas na prática" de Tarjan e Werneck) e a fusão recente de dicionários ("Um dicionário mesclável simples" de Adam Karczmarz), Por árvores dinâmicas, refiro-me à definição declarada no artigo de …

19 data-structures  trees  functional-programming 

Eu estava assistindo a palestra de Jim Weirich, intitulada ' Aventuras em programação funcional '. Nesta palestra, ele introduz o conceito de combinadores Y, que essencialmente encontra o ponto fixo para funções de ordem superior. Uma das motivações, como ele menciona, é ser capaz de expressar funções recursivas usando o …

19 lambda-calculus  functional-programming