If you look at the current trends, it seems that people are realizing the problems of typeless. Look at the effort to retrofit types onto Python. I think stron

If you look at the current trends, it seems that people are realizing the problems of typeless. Look at the effort to retrofit types onto Python. I think strong typing with type inference hits the sweet spot of providing the safety of types, while also cutting down on boilerplate.