ponylang - 区分 Pony 中不同类型的错误？

Question

Pony 有一个未参数化的异常值。

不幸的是，我经常有一些代码想要抛出不同类型的异常，并且我需要知道它们是什么，以便正确处理它们——例如，简单地说，当停止程序时，向用户提供以下信息很重要正确的错误消息!

那么在 Pony 中执行此操作的惯用方法是什么？

Answer 1

目前惯用的方法是不使用错误，而是使用正常返回类型和错误原因的联合类型。例如，如果您有一个返回 ReturnType 的函数，并且可能会出现 Error1 或 Error2 错误，则您的函数签名可以是

fun foo(): (ReturnType | Error1 | Error2)

调用者函数必须在联合上匹配以查看发生了什么。

如果您想要一些现实世界的示例，标准库的 files 包广泛使用此习惯用法。

另外，为了完整起见，RFC目前正在讨论添加类型错误。