Animatore Lambda. Strumento basato su Java per la sperimentazione della strategia di riduzione
Scarica ora

Animatore Lambda. Classifica e riepilogo

Animatore Lambda. Tag

riduzione calcolo lambda. calcolo di lambda.

Animatore Lambda. Descrizione

L'animatore Lambda è progettato come un'applicazione accessibile e pratica che può essere utilizzata per dimostrare e sperimentare con strategie di riduzione alternative nel calcolo della Lambda. Le lingue impaziente riducono gli argomenti prima dell'applicazione della funzione. Le lingue pigre riducono gli argomenti, se necessario, dopo l'applicazione della funzione. Le riduzioni possono anche essere eseguite all'interno di corpi funzione. L'esecuzione di riduzioni all'interno delle funzioni può avere un effetto specializzato. Se viene applicata una funzione più di una volta, tutte le riduzioni eseguite all'interno della funzione verranno eseguite una volta prima che il corpo della funzione venga copiato invece di più volte dopo. Queste riduzioni specializzate possono anche essere eseguite con impazienza o pigramente. L'effetto specializzato è sufficiente per rimuovere il sovraccarico interpretativo.

Animatore Lambda. Software correlato