Type System

type system の説明が最も強いのは、effects、confidence refusal、そして今も示せる保守的な units surface と交差する部分です。

本日時点で確認済み

• 信頼度境界つき compile-fail fixture は、検証済み契約の一部です。
• 明示的な with ... effect は現在も言語契約の実体です。
• units と quantity の構文は存在しますが、end-to-end の enforcement はまだ部分的です。

現在の注意点

• LLVM、GPU、LSP などの backend は、ソース配置ではなく artifact ごとに確認する必要があります。
• 言語仕様は、現在の公開 artifact が実際に強制する内容より先行している場合があります。