Undefined型
未定義の値を処理するには、未定義を検出する必要がある。つまり、呼び出された関数が、通常の結果を返すことができないと判断し、呼び出し元に通知するためのアクションを実行する。スペクトルのもう一方の端では、未定義の動作により、呼び出し元に責任が課せられ、ドメイン外の引数を使用して関数を呼び出さないようにする。原因は簡単に検出できるクラッシュや、最悪の場合、一見無関係な計算での微妙なエラーである。