Some dynamic languages do have type constraints these days, e.g. PHP.