Animateur Lambda outil basé sur Java pour la stratégie de réduction EXPERIMENTATION
Télécharger maintenant

Animateur Lambda Classement & Résumé

Animateur Lambda Mots clés

réduction calcul lambda Lambda Calcul

Animateur Lambda La description

Lambda Animator est conçu comme une application accessible et pratique pouvant être utilisée pour démontrer et expérimenter des stratégies de réduction alternatives dans le calcul de la Lambda. Les langues désireuses réduisent les arguments avant la demande de fonction. Les langues paresseuses réduisent les arguments, si nécessaire, après la demande de fonction. Des réductions peuvent également être effectuées dans des organismes de fonction. Effectuer des réductions dans les fonctions peut avoir un effet spécialisé. Si une fonction est appliquée plus d'une fois, toutes les réductions effectuées dans la fonction seront effectuées une fois avant que le corps de la fonction soit copié au lieu de plusieurs fois après. Ces réductions spécialisées peuvent également être effectuées avec impatience ou paresseusement. L'effet spécialisé est suffisant pour éliminer les frais généraux d'interprétation.

Animateur Lambda Logiciels associés