什么是弗雷格等价于 Haskell 的分数？答案

【问题标题】：What is Frege equivalent to Haskell's Fractional?什么是弗雷格等价于 Haskell 的分数？
【发布时间】：2016-03-03 21:34:25
【问题描述】：

这个定义在ghci有效：

recip :: Fractional a ⇒ a → a
recip n = 1 / n

在frege-repl 中尝试我得到了：

E <console>.fr:6: can't resolve `Fractional`, did you mean `Exceptional`
    perhaps?

"Hoogling" Fractional 什么也没给我。

【问题讨论】：

【解决方案1】：

Fractional 的 Frege 模拟似乎是 Real，它提供了两个操作：

(/) ∷ Real r ⇒ r → r → r
fromDouble ∷ Real r ⇒ Double → r

【讨论】：