 The exception is Python 3 where the type system is truly pluggable, because there are several implementations and the programmer can use the one that is the best fit.The only language designed with pluggable type system in mind from the beginning is Newspeak.Java 8 provides the ability to extend the type system but does not allow flexibility in the basics of the type system, such as choosing between static and dynamic typing.