The way I think about languages is that one must in their programming journey go toward greater type safety. If the journey begins with JS/Python, it must go to TS/Go, then Rust, then Haskell, and finally Idris.
Type safety is exceedingly and especially important in a shared code development where one is not the only developer.
Type safety is exceedingly and especially important in a shared code development where one is not the only developer.