Im not saying you should enforce type stability at compile time. An error preventing change of type can be isued dynamically at run-time.
Im not saying you should enforce type stability at compile time. An error preventing change of type can be isued dynamically at run-time.