0140デフォルトの名無しさん (ワッチョイ ad7f-vgeI)垢版 | 大砲2017/08/29(火) 07:49:01.20ID:pPJ906sN0 >・型無し言語に型情報を付加し、恩恵を受ける---TypeScript >・型あり言語に型推論やジェネリックを追加し、型情報を記述する煩わしさを回避---C#/C++/Java 後者は型を明示的に書かなくてもいというだけで最初からすべて型検査してるぞ。 型検査について言えば、動的型付け言語に静的な型検査を導入する流れはあるが逆はない。