The goal of a type-safe language is to make sure you don’t shoot yourself in the foot. One of the cornerstones of modeling is the ability to perform substitutions. One form of that is polymorphism – the ability for different objects to accept the same messages. In a type-safe language, the language (compiler) allows you to substitute object types if both object types can accept the same message in some formal way (the important thing being "in some formal way" that the compiler can verify). Many type-safe languages formalize this through defined interfaces. The interface specifies a contract comprising of...

First post on my new home! I'd like to give the obligatory thanks to Dave and Jay for setting me up here. This place has some great neighbors, so I hope I don't lower the property value :) Anyway, I thought I'd start off the new blog with a post I originally had on my old blog site. I'll be dragging a few more to this new site as I have time, but I think that this one creates a foundation for everything that is to follow, and lets the audience know where I'm coming from. Hopefully, I can always stick...