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

Estruturas de dados persistentes são estruturas de dados imutáveis. As operações neles retornam uma nova "cópia" da estrutura de dados, mas alterada pela operação; a estrutura de dados antiga permanece inalterada. A eficiência geralmente é alcançada compartilhando alguns dos dados subjacentes e evitando a cópia completa da estrutura de dados. …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

Nosso professor nos pediu para pensar em uma função no OCaml que tem o tipo 'a -> 'b isto é, uma função de um argumento que pode ser qualquer coisa e que pode retornar algo diferente. Pensei em usar raiseuma função que ignora seu argumento: let f x = raise …

19 programming-languages  typing  functional-programming 

De acordo com este artigo, a seguinte linha de código Lisp imprime "Hello world" na saída padrão. (format t "hello, world") O Lisp, que é uma linguagem homoicônica , pode tratar o código como dados da seguinte maneira: Agora imagine que escrevemos a seguinte macro: (defmacro backwards (expr) (reverse expr)) …

16 programming-languages  functional-programming 

No artigo de Philip Wadler sobre Teoremas de graça, ele afirma na Seção 2 sobre Parametricidade que não existem modelos ingênuos de teoria dos conjuntos de cálculo lambda polimórfico No modelo ingênuo da teoria dos conjuntos, os tipos são conjuntos e as funções são funções da teoria dos conjuntos que …

15 functional-programming 

Recentemente, fiquei extremamente interessado em entender e provar aspectos de linguagens de programação (funcionais). λλ\lambda Eu li o SICP (um livro bastante esclarecedor), mas estou procurando aprofundar a teoria da programação funcional. Existe algum livro / blog / site / nome-do-it que discuta a teoria das linguagens de programação funcional …

15 reference-request  lambda-calculus  functional-programming  books 

As CPUs são projetadas tendo em mente o software que as pessoas escreverão para ela, implícita ou explicitamente. Parece-me que, se você examinar o design das arquiteturas de conjuntos de instruções, elas são muito "imperativas", no sentido de que cada instrução codifica um comando de estilo imperativo. Parece-me também que …

14 computer-architecture  functional-programming 

Alguém pode me encaminhar para artigos revisados ​​por pares estudando as vantagens ou desvantagens de escrever código em um estilo funcional? Existem documentos que discutem as aplicações do Lambda Calculus em áreas como Machine Learning, Language Design, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

A programação funcional tem o muito elegante Lambda Calculus e suas variantes como uma teoria de backup. Existe algo assim para OOP? O que é uma abstração para o modelo orientado a objetos?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Fiz uma pergunta semelhante no cstheory.SE . De acordo com esta resposta no Stackoverflow, existe um algoritmo que em uma linguagem de programação funcional pura e não preguiçosa possui uma complexidade , enquanto o mesmo algoritmo na programação imperativa é . Adicionar preguiça à linguagem FP tornaria o algoritmo .Ω(nlogn)Ω(nlog⁡n)\Omega(n …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

No wiki do haskell, há o seguinte exemplo de uso condicional da mônada de E / S (veja aqui) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Observe que, neste exemplo, a definição de IO …

12 programming-languages  functional-programming  haskell 

Há alguma alteração que possa ser feita nas CPUs para que elas tenham um desempenho melhor em tempos de execução simultâneos como o Rust? Por exemplo, há alterações nas implementações de previsão de ramificação ou nos tamanhos de cache que ajudariam nos tempos de execução simultâneos? Tenho a impressão de …

12 computer-architecture  concurrency  functional-programming 

Eu acho que entendo como o desmatamento consome e produz uma lista ao mesmo tempo (de uma dobra e uma função desdobrada - veja esta boa resposta no CodeReview aqui ), mas quando eu comparei isso com a entrada da Wikipedia sobre a técnica que ele falou sobre 'remover árvores …

12 terminology  compilers  functional-programming 

Suponha que alguém queira raciocinar sobre propriedades do código além de coisas como totalidade e pureza funcional - também se preocupa com o consumo de memória ou com a complexidade algorítmica de uma função. Isso pode ser feito através de sistemas de digitação e efeitos dependentes?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Estou procurando uma estrutura de dados persistente semelhante à matriz (mas imutável), permitindo operações rápidas de indexação, acréscimo, pré-acréscimo e iteração (boa localidade). O Clojure fornece Vector persistente, mas é apenas para anexação rápida. O vetor de Scala efetivamente anexa e pré-anexa em tempo constante, mas não consigo entender como …

11 data-structures  functional-programming  persistent-data-structure 

Em um comentário ao Learning F #: que livros usando outras linguagens de programação podem ser traduzidos para o F # para aprender conceitos funcionais? Makarius declarou: Observe que a abordagem "CPS" causou grandes danos ao desempenho em SML / NJ. Seu modelo de avaliação física viola muitas suposições embutidas …

11 compilers  functional-programming  proof-assistants  continuations