dimensional tf:创建普通的Int、Double等值？

Question

在使用dimensional-tf包时，是否可以在不使用one单元的情况下使用“普通”Num实例(即Int、Double、Integer)？

例如，以下代码不进行类型检查(在ghci中)：

{-# LANGUAGE NoMonomorphismRestriction #-}
import Numeric.Units.Dimensional.TF.Prelude
import qualified Prelude as P

fourpi = 4 * pi

但是这段代码做到了：

{-# LANGUAGE NoMonomorphismRestriction #-}
import Numeric.Units.Dimensional.TF.Prelude
import qualified Prelude as P

fourpi = (4 *~ one) * (pi *~ one)

注意:如果我应该使用dimensional而不是dimensional-tf，请让我知道。

Answer 1

dimensional (和dimensional-tf)包对Num和Fractional隐藏了运算符，并定义了名称相同但类型不同的运算符。这些运算符不适用于未修饰的数字类型。

所以有了

{-# LANGUAGE NoMonomorphismRestriction #-}
import Numeric.Units.Dimensional.TF.Prelude
import qualified Prelude as P

你不能就这么写

fourpi = 4 * pi

由于是(*) :: Num a => Dimensional v d a -> Dimensional v d' a -> Dimensional v (Mul d d') a，并且没有用于Dimensional类型的Num实例(不可能有，因为两个维度类型的乘积通常具有不同的维度)，因此4和pi不能被解释为维度类型的值。

但是，您可以编写

fourpi = 4 P.* P.pi

等等，来自Num的合格版本的运算符仍然可用。