"Type safety is the property that no primitive operation ever applies to values of the wrong type." Smalltalk is type safe & not statically checked. page 263

"Type safety is the property that no primitive operation ever applies to values of the wrong type." Smalltalk is type safe & not statically checked. page 263 "Programming Languages: Application and Interpretation" [pdf] https://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/plai-2007-04-26.pdf https://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-0...