Animador lambda. Ferramenta baseada em Java para a Experimentação da Estratégia de Redução
Baixe Agora

Animador lambda. Classificação e resumo

Animador lambda. Tag

redução cálculo lambda. Cálculo de lambda.

Animador lambda. Descrição

O Lambda Animator é projetado como uma aplicação acessível e acessível que pode ser usada para demonstrar e experimentar estratégias alternativas de redução no cálculo lambda. As línguas ansiosas reduzem argumentos antes da aplicação da função. Línguas preguiçosas reduzem argumentos, se necessário, após a aplicação da função. As reduções também podem ser realizadas nos corpos de funções. Realização de reduções nas funções pode ter um efeito especializado. Se uma função for aplicada mais de uma vez, qualquer redução realizada dentro da função será executada uma vez antes que o corpo da função seja copiado em vez de várias vezes após. Estas reduções especializadas também podem ser realizadas ansiosamente ou preguiçosamente. O efeito especializado é suficiente para remover a sobrecarga interpretativa.

Animador lambda. Software Relacionado