Comment on Alan Kay on the Meaning of “Object-Oriented Programming” (2003)parentComments−backlava11yIf the system you are building makes sense, there is probably a reasonable type system that shows it to be well typed.−Jare11yYeah, "makes sense" and "reasonable" would be criteria involved in the debated I mentioned.
Comments
If the system you are building makes sense, there is probably a reasonable type system that shows it to be well typed.
Yeah, "makes sense" and "reasonable" would be criteria involved in the debated I mentioned.