a statically typed dynamic language