Undefined型
未定義の値を安全に処理することは、事後に競合状態を検出する楽観的同時実行制御システムで重要になる。たとえば、 seqlockで保護されている共有変数を読み取ると、競合状態が発生したと判断する前に未定義の値が生成される。その後、未定義のデータを破棄し、操作を再試行する。これにより、未定義の値に対して実行された操作が本格的な未定義の動作を生成しない限り、定義された結果が生成される。