型宣言の代わりに初出の変数には何らかの値を必ず代入しなければいけないという言語はないの?