型付けを更に厳密に定義した区分として型なし()という区分が存在する。