> 静的型付けじゃないとできないのか
静的型付け言語だとjavaのfinalのような再代入を許さない構文がついてくることが多いように思います。
個人的にはそれによって値がどこで設定されているかがわかりやすくなることがメリットなのではないかと思っています。
なので、Language serverなどで型推論や最終代入地点へのジャンブが用意になれば動的型付け言語への揺り戻しも来るのではないかと考えています。

大変興味深く拝聴させて頂きました。私は組み込み出身なので、動的型付けの書きやすさには少々戸惑っていた時もありましたが、今は慣れました。
開発規模の大きさには、あまり関係ないという認識でよかったでしょうか❓