Perguntas com a marcação «lambda-calculus»

A questão subjacente: O que o cálculo lambda faz por nós que não podemos fazer com as propriedades básicas da função e notação geralmente aprendidas na álgebra do ensino médio? Antes de tudo, o que significa abstrato no contexto do cálculo lambda? Minha compreensão da palavra abstrato é algo que …

18 lambda-calculus  programming-paradigms 

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 

Existem técnicas para resolver equações funcionais para funções desconhecidas no cálculo lambda? Suponha que eu tenha a função de identidade definida extensionalmente como tal: Ix=xEux=xI x = x (isto é, por escrever uma equação para o comportamento esperado dessa função) e agora eu quero resolver isso para fazendo alguma transformação …

14 lambda-calculus 

Estou lendo sobre o algoritmo de digitação Hindley-Milner ao escrever uma implementação e vejo que, desde que todas as variáveis ​​sejam vinculadas, você sempre terá tipos atômicos ou tipos em que os argumentos determinarão o tipo final, como t1 -> t1ou (t1 -> t2) -> (t1 -> t2)onde t1e t2são …

14 lambda-calculus  type-theory  typing  type-inference 

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 

Ordem aplicável : sempre avalie totalmente os argumentos de uma função antes de avaliar a própria função, como - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ …

14 logic  lambda-calculus  normal-forms 

A maioria dos tutoriais sobre o Cálculo Lambda fornece um exemplo em que números inteiros positivos e booleanos podem ser representados por funções. E quanto a -1 e eu?

14 data-structures  lambda-calculus  integers  real-numbers 

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 …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

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 …

13 lambda-calculus  combinatory-logic 

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 …

13 lambda-calculus 

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 

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 …

12 programming-languages  lambda-calculus 

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 lambda sem tipo é sensível ao contexto. Gostaria de …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

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 …

11 terminology  lambda-calculus  type-theory  dependent-types