たとえば
new DateTime('2022-02-31T23:12:34.42')
とかした時に、ISO8601リテラル(表面上は文字列型のようだけど実際には型とリテラルのパーサー？がユーザー定義されてる)の検査を静的に行って「2月に31日なんてネーヨ！」ってコンパイル時やコーディング時に検査出来る言語環境＞＜