Effect System

effect system は今も設計の中心ですが、公開 docs では、強制されている signature 契約と、進化中の豊かな handler model を分けて説明するようになりました。

本日時点で確認済み

• 明示的な with ... effect は現在も言語契約の実体です。
• with IO は外側の境界に置き、残りの pipeline はできるだけ pure に保ってください。
• カスタム effect は言語設計の一部ですが、深い handler 体験はまだ進化中です。

現在の注意点

• より豊かな handler モデルは設計上存在しますが、実行サポートはまだ一様ではありません。
• LLVM、GPU、LSP などの backend は、ソース配置ではなく artifact ごとに確認する必要があります。