>>>>> "garau" == garau  <garau at ar.ibm.com> writes:

garau> In Squeak a message send doesn't tell you which method will be
garau> invoked. You need to know the type of the receiver first. If
garau> after analyzing the whole program (a starting expression) you
garau> got only one particular receiver type, then you know the method
garau> that will be invoked at run-time. You can inline the method or
garau> replace the late binding with a static binding. Cool!!

I had a student in my Object Oriented Perl course yesterday tell me
that his employer won't let him use *any* "object oriented" languages,
because they build embedded systems that have to be FAA certified, and
FAA will only certify if you've done a complete call-flow analysis.

So instead, he has to do all his work in C (!!!!).  Gack.  Like that's
any better?

Somehow, I think this company he was from was not up on the latest
tools, or perhaps the FAA is being overly paranoid.

-- 
Randal L. Schwartz - Stonehenge Consulting Services, Inc. - +1 503 777 0095
<merlyn at stonehenge.com> <URL:http://www.stonehenge.com/merlyn/>
Perl/Unix/security consulting, Technical writing, Comedy, etc. etc.
See PerlTraining.Stonehenge.com for onsite and open-enrollment Perl training!