"they provide freedom that is literally unavailable in any other" There have been lots of arguments on LtU about this. You can go very, very far with either la

"they provide freedom that is literally unavailable in any other" There have been lots of arguments on LtU about this. You can go very, very far with either laziness or lightweight closures. Laziness didn't go all the way with Haskell, whence Template Haskell; I don't know enough about Smalltalk to know if they've managed to get by with extremely (syntactically) lightweight closures.