λ-calculus é um sistema formal para definição de funções, aplicação de funções e recursão, que forma a base matemática da programação funcional.
Eu tenho lido recentemente sobre o cálculo do Lambda, mas estranhamente não consigo encontrar uma explicação do motivo pelo qual é chamado "Lambda" ou de onde vem a expressão. Alguém pode explicar as origens do
Na página da Wikipedia para Combinadores de ponto fixo, está escrito o texto bastante misterioso O combinador Y é um exemplo do que torna o cálculo Lambda inconsistente. Portanto, deve ser encarado com desconfiança. No entanto, é seguro considerar o combinador Y quando definido apenas na lógica...
Classicamente, existem três maneiras populares de pensar sobre computação: máquina de Turing, circuitos e cálculo lambda (eu uso isso como uma captura para a maioria das visualizações funcionais). Todas as três foram formas proveitosas de pensar sobre diferentes tipos de problemas, e campos...
Existe algum cálculo lambda digitado completo de Turing? Se sim, quais são alguns
Muitos livros didáticos cobrem tipos de interseção no cálculo lambda. As regras de digitação para interseção podem ser definidas da seguinte maneira (além do cálculo lambda simplesmente digitado com subtipagem): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma...
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 a...
O combinador de ponto fixo FIX (também conhecido como combinador Y) no cálculo lambda (sem tipo) ( ) é definido como:λλ\lambda FIXF λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) ))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda...
Muitos de nós sabemos a correspondência entre lógica combinatória e cálculo lambda . Mas nunca vi (talvez não tenha examinado o suficiente) o equivalente a "combinadores digitados", correspondendo ao cálculo lambda simplesmente digitado. Existe algo assim? Onde alguém poderia encontrar informações...
Estou procurando um cálculo simples que suporte o raciocínio sobre reflexão , a saber, a introspecção e manipulação de programas em execução. Existe uma extensão de cálcio não tipada que permita converter termos λ em um formato que possa ser sintaticamente manipulado e depois avaliado...
Talvez minha compreensão limitada do assunto esteja incorreta, mas é isso que eu entendo até agora: A programação funcional é baseada no Lambda Calculus, formulado pela Alonzo Church. A programação imperativa é baseada no modelo de máquina de Turing, feito por Alan Turing, aluno da Igreja. O...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta: O ββ\beta...
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...
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...
É sabido que os combinadores S e K formam um conjunto básico para o cálculo do combinador, no sentido de que todos os outros combinadores podem ser expressos em termos deles. Há também a base B, C, K, W de Curry, que possui a mesma propriedade. Deve haver um número infinito de tais bases, mas não...
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...
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...
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
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...
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,
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...