テストで戻り値の型を検査してるの見るとさすがにつらくなるので、この際漸進的型付けでもいいから型検査という文明の恩恵をもっと活用してほしい
なんと言えばいいのか、「奇数と奇数を足し合わせると偶数になります！」というのを証明一発で済ますのが静的型付きの型検査だとすると、動的型付き言語でテスト書いて戻り値の型を確認してるのは「とにかく奇数を沢山用意して実際足してみる」みたいな小学生じみたことをしているように見える
テストで戻り値の型を検査してるの見るとさすがにつらくなるので、この際漸進的型付けでもいいから型検査という文明の恩恵をもっと活用してほしい
なんと言えばいいのか、「奇数と奇数を足し合わせると偶数になります！」というのを証明一発で済ますのが静的型付きの型検査だとすると、動的型付き言語でテスト書いて戻り値の型を確認してるのは「とにかく奇数を沢山用意して実際足してみる」みたいな小学生じみたことをしているように見える