@22 Potíž je v tom, že proměnné v těchto programovacíh jazycích jsou něco úplně jiného než proměnné v lambda kalkulu. Význam proměnných v těchto jazycích není určen substitucí, ale přiřazovacím příkazem. Důsledkem je, že se o programech v těchto jazycích hůře přemýšlí - nejde totiž použít substituční model.
