エフェクト

`with IO`, `with Panic`, `with Async` などで副作用を明示します(カスタムエフェクトも)。

エフェクト

effects は今も、言語が意図を最も明確に見せる場所です。副作用は signature に置き、pure なロジックと分離してください。

本日時点で確認済み

  • 明示的な with ... effect は現在も言語契約の実体です。
  • with IO は外側の境界に置き、残りの pipeline はできるだけ pure に保ってください。
  • 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

  • より豊かな handler モデルは設計上存在しますが、実行サポートはまだ一様ではありません。
  • 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。