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,
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...
Eu gostaria de um exemplo de quine no cálculo lambda puro . Fiquei bastante surpreso por não encontrar um pesquisando no Google. A página quine lista os quines para muitos idiomas "reais", mas não para o cálculo lambda. Obviamente, isso significa definir o que quero dizer com uma solução no...
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
Uma expressão combinadora (digamos na base SK) pode ser pensada como uma função que mapeia expressões de cálculo combinador para expressões de cálculo combinador. Ou seja, pode-se pensar em uma expressão XXX como uma função X: L → LX:eu→euX:L \to L , onde eueuL é o conjunto de todas as expressões...
Acho que estou bastante confuso sobre o que é chamado de cálculo e o que é chamado de linguagem de programação. Costumo pensar, e pode ter sido dito, que um cálculo é um sistema formal de raciocínio sobre a equivalência de programas. Os programas têm uma semântica operacional especificada por uma...
Em primeiro lugar, gostaria de dizer que meu texto abaixo pode conter erros, portanto, sinta-se à vontade para apontar quaisquer erros na minha formulação da pergunta. Considere um cálculo lambda sem tipo com booleanos e instruções if cujos termos são dados por esta sintaxe: t ::= v | t t | if t...
Estou tentando entender gramáticas sensíveis ao contexto. Eu entendo por que idiomas como {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} não são livres de contexto, mas o que eu gostaria de saber se uma linguagem semelhante ao cálculo...
Estou lutando para entender o objetivo da quantificação universal e existencial de tipos. Estou brincando de escrever uma linguagem de brinquedo baseada no cálculo de construções . Eu tenho lido sobre Morte e Henk para me ajudar a entender melhor. Não entendo por que o CoC tem abstração lambda e...
Atualmente, estou aprendendo o cálculo lambda e estava pensando nos dois tipos diferentes de escrita de um termo lambda. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Existe alguma diferença no significado ou na maneira como você aplica a redução beta, ou essas...
Eu estou olhando para o Cálculo de Construções e seu lugar no Cubo Lambda . Se bem entendi, cada eixo do cubo pode ser considerado como adicionando outra operação envolvendo tipos ao cálculo de tipo simples, . O primeiro eixo adiciona operadores de tipo a termo, o segundo operador de tipo a tipo e...
Fui informado de que o custo da inferência de tipo em uma linguagem funcional como o OCaml pode ser muito alto. A alegação é que existe uma sequência de expressões que, para cada expressão, o comprimento do tipo correspondente é exponencial no comprimento da expressão. Eu inventei a sequência...
Estou iniciando um curso de graduação em ciência da computação no próximo outono, mas não consigo entender o cálculo λ no contexto da programação funcional. Posso estar interpretando mal isso completamente, mas, com base nessa definição da Stanford Encyclopedia of Philosophy, é apenas mais uma...
Estou trabalhando em um pequeno compilador de cálculo lambda que possui um sistema de inferência do tipo Hindley-Milner em funcionamento e agora também oferece suporte a vamos recursivos (não no código vinculado), que eu entendo que deve ser suficiente para torná-lo completo . O problema agora é...
Entendo que um numeral da Igreja parece com (... n vezes ...) . Isso significa nada mais do que "a função aplicada vezes à função ". λ s . λ z . s scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Uma definição possível da função é a seguinte: . Olhando para o corpo, entendo...
Self Types são uma extensão do Cálculo de Construções [1] que permite que o idioma expresse tipos de dados algébricos codificados através da Codificação Scott. A Codificação Scott fornece a capacidade de correspondência de padrões O(1), que é um dos principais motivadores para a inclusão de...
De acordo com Peter Selinger , O cálculo lambda é algébrico (PDF). No início deste artigo, ele diz: Sabe-se que a interpretação combinatória do cálculo lambda é imperfeita, pois não satisfaz a regra ξξξ : sob a interpretação, M= NM=NM = N não implica λ x . M= λ x . Nλx.M=λx.N\lambda x.M =...
O que são funções anônimas (lambda)? Qual é a definição formal de uma função anônima em uma linguagem de programação funcional? Em meus termos simples, quando estou programando no esquema / lisp, eu diria que uma função anônima (lambda) é uma função que não está vinculada a um identificador. É...
Aprendi hoje que a análise de algoritmos difere com base no modelo computacional. É algo em que nunca pensei ou ouvi falar. Um exemplo dado a mim, que o ilustrou ainda mais, pelo usuário @chi foi: Por exemplo, considere a tarefa: dado retorne . Na RAM, isso pode ser resolvido em pois o...
Não sei mais aonde fazer essa pergunta, espero que este seja um bom lugar. Estou curioso para saber se é possível fazer um gerador de cálculo lambda; essencialmente, um loop que, com tempo infinito, produzirá todas as funções possíveis de cálculo lambda. (como na forma de uma string). Como o...