SML中Real中实数的强制相等

时间:2017-03-02 15:18:42

标签: types sml mlton

Subscription.update()中所述,SML中定义的实际类型不是相等类型,因此以下表达式不会减少

=

但是,这并不方便,因为数据类型和包含实数的列表也会失去平等。我需要用Real.==重载多态等式C:\> pip3 install --upgrade tensorflow ,这样它也可以大致考虑实数。

这可能吗?

编辑:编辑问题更清晰

2 个答案:

答案 0 :(得分:2)

您是否阅读过Why can't I compare reals in Standard ML并考虑Real.==运算符或执行epsilon测试?您是否考虑过像Haskell Data.Decimal这样的类型(其中尾数和指数被处理为一对整数)?

答案 1 :(得分:1)

简单的答案是:不,你可以