[cap-talk] "Same" key

[Norman Hardy]

This is an historic anecdote that bears on "object-oriented".
About 1986 a professor and two students came to visit Key-Logic to  
learn about Keykos.
After several hours of interactive presentation the professor said:  
"Lets get out of here—they don't have inheritance.".
I believe that they thought that system enforced type checking so as  
to enforce type safety in the presence of polymorphism was the only  
way to go.
They thought that C++ type theory was necessary and had perhaps got  
the impression that we improved on the safety of C++.
We had all the flexibility of C++ but lacked some static type  
checking provided by a C++ compiler.

We had long been using "object" in our technology descriptions and  
had slipped into "object-oriented" without realizing the special  
meaning that some had begun to assign to that term.

We never saw them again.