簡単に言うと、人間がかかわらずとも完璧にプログラミングできるAIなるものが出来たとして、
完璧に動作するプログラムは、実行前に型がすべて決定されている（とりうる範囲が全て想定されている）物の事を言う（実行時にしかわからないものに関してバリデーションコードの漏れも無い状態）であるので、
未来の完璧なAIがコーディングした完璧なコードなるものは、完成の時点で既に型が決定しているので、
つまりそれは、定義上、静的型付けである＞＜
みたいな感じで合意が得られたかも＞＜