ていうか、ていうか、(型検査がすさまじく遅くなりそうだけど)リテラルの表現をユーザーが定義してコンパイル時に静的型検査出来る言語が欲しい・・・＞＜
前にも書いた例だけど、緯度経度型のリテラルを定義して、「35.68N 139.767E」みたいなのをリテラルで解釈してたとえば緯度としてあり得ない「512.42N」とか「35.68A」とかは静的型検査時にリテラルのエラーとして検出出来るような言語＞＜