エフェクト
`with IO`, `with Panic`, `with Async` などで副作用を明示します(カスタムエフェクトも)。
エフェクト
effects は今も、言語が意図を最も明確に見せる場所です。副作用は signature に置き、pure なロジックと分離してください。
本日時点で確認済み
- 明示的な
with ...effect は現在も言語契約の実体です。 with IOは外側の境界に置き、残りの pipeline はできるだけ pure に保ってください。- 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。
現在の注意点
- より豊かな handler モデルは設計上存在しますが、実行サポートはまだ一様ではありません。
- 実際の挙動は、リポジトリ上のファイルだけではなく、使用している
soucバイナリそのものに依存します。