没有在Haskell浮动

Question

我不知道是否有一个函数将有理类型转换为Float（Rational a => a - > Float）。

我试过hoogling，但什么都没发现。

Answer 1

在Haskell中，您不会将转换为，而是从转换成。见fromRational。

threeHalves :: Ratio Integer 
threeHalves = 3 % 2 
sqrt threeHalves -- Fails 
sqrt $ fromRational threeHalves -- Succeeds 

如果你需要一个Rational -> Float功能，你可以将它定义为

toFloat x = fromRational x :: Float 

Answer 2

fromRational？

Answer 3

还有fromIntegral将Int s和Integer s转换为Num的任何实例。

foo :: Float -> Float 
foo x = x+1 

value :: Int 
value = 4 

newValue = foo (fromIntegral value) 

Answer 4

注意Rational是一个类型，而不是一个类型类，所以Rational a => a没有意义。改为尝试使用Rational -> Float。