Lamba je samostatným, bezestavovým předpisem. Uzávěra je předpisem, který obsahuje závislosti na svém kontextu, tudíž stavová.
To je ale blbost, z držení kontextu neplyne stavovost. Navíc libovolný uzávěr (sic!) jde emulovat prostým lambda výrazem.
Obecně ano, protože nemůžete zajistit neměnnost prostředí/kontextu.
Tu emulaci mi ukažte, to mě zajímá.
P.S. Viz ještě C++, kde se vázané proměnné aplikované za překladu explicitně uvádějí - Meyers to někde rozepisoval jako λ-výrazy, když vysvětloval, jak to vnitřně funguje. Je poučné se nad tím zamyslet například v porovnání s Haskellem (na to je tu expert balki, jistě rád vysvětlí, až podojí a obslouží ovce).