型付きの言語に回帰って言ってもそれ型推論のことでしょ？
書く方はどうせ今までと同じ動的型付けとして書くじゃん