intermediate
型理論におけるNullとVoid
プログラミング言語理論における「無効値」と「戻り値なし」の概念を比較します。
📝 提示内容
計算機科学において、値が「存在しない」ことを示す`Null`（または`ni l`、`Option`型）と、関数が値を返さないことを示す`Void`（または`Un it`）型の理論的な違いを明確にしてください。それぞれが型システムにおいてどのような安全性や不具合（バグ）の原因に関連しているか、理論的な観点から分析してください。