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

λ-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.



2
Cálculo lambda quântico
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 diferentes usam formulações diferentes por esse motivo. …


2
O Lambda Calculus é puramente sintático?
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 …

2
Caracterização de termos lambda que possuem tipos de união
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 \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge …



5
cálcio com reflexão
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 posteriormente?λλ\lambdaλλ\lambda Imagino que o cálculo …


5
Cálculo lambda fora da programação funcional?
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 …

2
O que é equivalência 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 . No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta: O ββ\beta -equivalence ≡β≡β\equiv_\beta é o menor equivalência que contém …




Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.