Delta

Wyobraź sobie język funkcyjny, trochę jak lambda calculus, ale parametry są za ciałem, a nie przed, takie delta calculus. Czy to by było łatwe do sparsowania?

Definicja abstrakcji

Zamiast

\param1 body 

mamy:

body \param

Wywołanie abstrakcji

Zamiast:

(\param body) arg

mamy:

(body \param) arg

Funkcja lokalna

Zamiast:

& (\param body) \local_fun
(local_fun arg)

Jest:

& (body \param) 
(local_fun arg) \local_fun

?