理想は、型を指定しなくても
指定しても良い(その場合はチェックをする)言語。