リテラルにも全て明示的に型が必要な言語とかあったらたぶんオレンジ好み＞＜

(これを正確に説明するの難しいけど、例えば基本型への代入でも、作った型(？)への明示的型変換を伴うリテラルの代入も、同じように書くみたいな環境があったらって＞＜(なので正確にはリテラルにリテラル用の暗黙の型が存在するけど、そのまま使わないみたいな環境＞＜)
なので例えば、ユーザー定義の距離型にメートル型として暗黙の浮動小数点型のリテラルを代入する　みたいな場面がたくさん現れるような言語に＞＜(型作る時に、ほぼ必ず演算子のオーバーロードも定義するみたいな感じになるはず＞＜) 説明長すぎた＞＜；)