haskell - 什么是弗雷格等价于 Haskell 的分数？

Question

该定义适用于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?

“流氓” Fractional没有给我任何东西。

Answer 1

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

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