 They tend to be constructed by adding a static type system to an existing dynamically typed language without changing its semantics and usually keeping the syntax unchanged as well.Examples include Smalltalk, Python 3, Ruby, Clojure, and PHP 5.For most of the languages there is only one implementation of the type system.