型は安全性のためだけではなく、書きやすさ・把握しやすさのためでもあると思う。わかりやすい変数名をつけるとかそういうのと同根の

安全な言語使いたいなら、Rustとか使うのがいいんやろな今は。