>>833
> 静的型付言語どれにでもあてはまる静的型付言語の特徴は何なの？

システム全体のモジュールの結合性、インターフェースの不一致を
実行前に検出することができる。