opa - 如何捕捉错误

Question

我正在使用函数 Float.of_string 来转换由公式获得的输入。

当然，用户可能是一个坏人，在输入中写一个句子而不是一个浮点数:)

有很多解决方案，可以测试字符串输入......但在我看来，函数 float.of_string 应该测试，它必须转换为浮点数。作为字符串不是浮点数的证据......服务器将遇到一个错误，该错误会杀死服务器(或至少是 session )。

然后我认为，最好的将是(选择):

返回一个选项

一种在终止 session 之前捕获错误的方法...

那么这篇文章的真正问题是:
有没有办法为 OPA 未捕获的异常执行类似 try/catch 块的操作。
如果是的话，它是如何工作的，是否有可能在我们自己的函数中抛出错误？

感谢您的回答，
马修

Answer 1

好的，先来说说Float.of_string .这是一个低级函数，它确实假设了一个格式良好的输入，所以不应该在来自用户的任何东西上调用(或者实际上任何可能失败的东西)。但是你不是第一个提出这个问题的人，所以也许我们确实应该改变这个函数来返回一个选项类型。

对于那种场景(当事情可能出错时)，应该使用解析和 Rule.float功能。要了解有关在 Opa 中解析的更多信息，您可以查看 recent blog post我希望明天会有一个后续的。

现在，关于异常处理:我们(正在？)计划将它添加到 Opa，但截至今天它还不可用。所以......要有耐心:)