Example A-SIGNATURES Re: A Way to express Standard multi-argument Method Signatures in Smalltalk Re: [ANSI-Smalltalk] Next STEPs

[Paolo Bonzini]

I don't completely dislike this idea.  After all Associations are just 
"cons cells".  However, I'm a bit skeptical because it is not backed by 
a system using this signature.

> 2.  A result type written as 'self'

That should be #self for obvious reasons.  Misunderstanding the scoping 
of variables (special variables like self included) is one of the most 
common mistakes in design Smalltalk DSLs.

> 4. Each class used within the expressions is part of the standard.

The biggest problem is that the standard talks about instance protocols 
and factory protocols (accessed with global variables), not about 
classes and metaclasses.

Paolo