型制約がない場合はコンパイラによる静的な型検査や統合開発環境(ide)によるコード補完などの支援が見込めず、プログラムの記述ミスを発見するのが難しくなることもある。