思いついた！

デフォルトだと型無しだけどモード設定みたいなので
型有りになる言語ってどーよ。

たとえて言うならVBに変数定義強制＆＆バリアント型使用不可＆＆
subとfunctionの引数と帰り値の型指定強制するモードを付ける感じ。

とりあえず型無しでコード書いて落ち着いてきたら型有り
（型無しになってる部分を発見するとエラー出す）モードにして
細かいところをつめていくの。

これなら型無し言語と型有り言語の良い所を併せ持つ感じに
なると思うんだけど。

どうよ。