At least Python and Ruby use strict types all the time. Both even has syntax for type annotation and tools to check those.