Ruby is not the first or the second or even the third dynamic language that has added static type checking support, has this _ever_ happened?
Ruby is not the first or the second or even the third dynamic language that has added static type checking support, has this _ever_ happened?