Názor ke článku Lambda výrazy v Javě od Radek Miček - @22 Potíž je v tom, že proměnné v...

@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.