Lambda Animator Java-basiertes Instrument für das Reduktionsstrategie-Experimentieren
Jetzt downloaden

Lambda Animator Ranking & Zusammenfassung

Lambda Animator Stichworte

die Ermäßigung Infinitesimalrechnung Lambda Lambda-Kalkül

Lambda Animator Beschreibung

Lambda Animator ist als zugänglicher und praktischer Anwendung konzipiert, der zum Nachweisen und Experimentieren mit alternativen Reduktionsstrategien im Lambda-Kalkül verwendet werden kann. Eifrige Sprachen reduzieren die Argumente vor der Funktionsanwendung. Faule Sprachen reduzieren Argumente, falls erforderlich, nach der Funktionsanwendung. Reduzierungen können auch in Funktionskörpern durchgeführt werden. Durchführen von Reduzierungen in Funktionen können einen spezialisierten Effekt haben. Wenn eine Funktion mehr als einmal angewendet wird, werden alle innerhalb der Funktion ausgeführten Reduktionen durchgeführt, bevor der Funktionskörper anstelle von mehrmals kopiert wird. Diese spezialisierten Reduzierungen können auch eifrig oder träge ausgeführt werden. Der spezialisierende Effekt reicht aus, um interpretierende Overhead zu entfernen.

Lambda Animator Zugehörige Software