it seems like adding a type system to a dynamic language is considerably harder than starting with a typed language to begin with

Comments