Lambda-animator JAVA-gebaseerde tool voor reductiestrategie-experimenten
Download nu

Lambda-animator Rangschikking & Samenvatting

Lambda-animator Tags

afname calculus lambda Lambda Calculus

Lambda-animator Beschrijving

Lambda-animator is ontworpen als een toegankelijke en handige toepassing die kan worden gebruikt voor het aantonen en experimenteren met alternatieve reductiestrategieën in de Lambda Calculus. Enthousiaste talen verminderen argumenten vóór de functieaanvraag. Luie Talen verminderen argumenten, indien nodig, na functie-applicatie. Verlagingen kunnen ook worden uitgevoerd binnen functiebanden. Het uitvoeren van reducties binnen functies kan een gespecialiseerd effect hebben. Als een functie meer dan eens is toegepast, worden eventuele verlagingen die binnen de functie worden uitgevoerd, eenmaal worden uitgevoerd voordat de functie in plaats daarvan wordt gekopieerd in plaats van meerdere keren daarna. Deze gespecialiseerde reducties kunnen ook gretig of lui worden uitgevoerd. Het gespecialiseerde effect is voldoende om interpretatieve overhead te verwijderen.

Lambda-animator Gerelateerde software