标签:错误处理

共 6 篇文章带有这个标签。

错误是类型:failure 与 defect、TaggedError、catchTag

把错误写进 Effect 的 E 参数:区分可预期的失败(failure)与不可预期的缺陷(defect),用 TaggedError 定义领域错误,再用 catchTag 精确恢复并让类型随之收窄。