"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-0...