Frank Barknecht wrote:
Hallo, Claude Heiland-Allen hat gesagt: // Claude Heiland-Allen wrote:
What would be even cooler is if you could create embedded abstractions with internal messages - imagine creating abstractions as and when you need them (with $0-names if you like, global names if you like too)
Which makes me wonder: Should these theoretical embedded abstractions have their own $0? I'd vote for yes.
Of course! They can get their parents' $0s if the parent wants to pass them down through creation arguments, like any other abstraction :)
Ciao