Resultados da pesquisa a pedido "lambda-calculus"
É 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 ...
O que significa “Capturar e evitar substituições”?
Enquanto lia o Lambda Calculus em Wiki, me deparei com o termoCapturar e evitar substituições. Alguém pode, por favor, explicar o que significa, pois não con...
Isso pode ser expresso em estilo livre ponto?
Dada a seguinte expressão para somar um IEnumerable de números:
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 = ...
função fatorial de cálculo lambda não recursiva
Como escrever uma função fatorial sem o uso de recursão usando o cálculo lambda? Significando apenas a notação matemática, não implementação em nenhuma linguagem de programação específica.
Por que uma função interna é aplicada a muito poucos argumentos considerados na forma normal de cabeça fraca?
The Haskelldefinição [http://www.haskell.org/haskellwiki/Weak_head_normal_form] diz: Uma expressão está na forma normal de cabeça fraca (WHNF), se for: um construtor (eventualmente aplicado a argumentos) como True, Just (quadrado 42) ou (:) ...
FIM DE FIM DE ARQUIVO com flex e bison (só funciona sem ele)
OK, esta é uma questão estranha, porque o que tenho aqui funciona do jeito que eu quero. O que estou fazendo é escrever um analisador para uma expressão de c...
Página 1 do 2