Resultados da pesquisa a pedido "lambda-calculus"
Verificando o entendimento de: "Variável" vs. "Valor" e "função" vs "abstração"
(Esta pergunta é um acompanhamento deeste [https://stackoverflow.com/questions/25327705/is-function-a-sort-of-variable/25329157#25329157] enquanto estudava Haskell.) Eu costumava achar a noção entre "variável" e "valor" confusa. Portanto, ...
De que tipo de cálculo lambda Lisp seria um exemplo?
Estou tentando entender melhor como os tipos entram em cena no cálculo lambda. É certo que muitas coisas da teoria dos tipos estão na minha cabeça. Lisp é uma linguagem de tipo dinâmico, que corresponderia aproximadamente ao cálculo lambda sem ...
É possível avaliar os termos do cálculo lambda com eficiência?
Escrevi muitos programas no cálculo lambda recentemente e gostaria de poder rodar alguns deles em tempo real. No entanto, por mais que o paradigma funcional de tendências se baseie no cálculo lambda e na regra das reduções B, não consegui ...
É comum as redes de interação deixarem pilhas de fãs redundantes?
Estou compilando termos de cálculo lambda para redes de interação para avaliá-las usando o algoritmo abstrato de Lamping. Para testar minha implementação, usei esta função de divisão de número de igreja: div = (λ a b c d . (b (λ e . (e d)) (a (b ...
Existe alguma maneira eficiente de converter um número unário em um número binário?
Deixe esses tipos de dados representarem números naturais unários e binários, respectivamente: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = ...
Página 2 do 2