Question

如果我想使用输入生成列表：

[3.1,5.1..8.1]

GHC 8.6.3返回：

[3.1,5.1,7.1,9.099999999999998]

我的问题不是9.1的近似值，而是为什么GHC列出的清单比以下解决方案具有更多的要素。 在GHC.Enum中找到的文档中，enumFromThenTo将其翻译为类似于以下内容的内容：

    -- | Used in Haskell's translation of @[n,n'..m]@ with
    --   @[n,n'..m] = enumFromThenTo n n' m@, a possible implementation
    --   being @enumFromThenTo n n' m = worker (f x) (c x) n m@,
    --   @x = fromEnum n' - fromEnum n@, @c x = bool (>=) (<=) (x > 0)@
    --   @f n y
    --      | n > 0 = f (n - 1) (succ y)
    --      | n < 0 = f (n + 1) (pred y)
    --      | otherwise = y@ and
    --   @worker s c v m
    --      | c v m = v : worker s c (s v) m
    --      | otherwise = []@

所以下面的代码：

import Data.Bool
eftt n s m = worker (f x) (c x) n m
     where x = (fromEnum s) - (fromEnum n)
c x = bool (>=) (<=) (x > 0)
f n y 
    | n > 0 = f (n-1) (succ y)
    | n < 0 = f (n+1) (pred y)
    | otherwise = y
worker s c v m
    | c v m = v: worker s c (s v) m
    | otherwise = []

在与以前相同的输入上，这将返回以下列表：

[3.1,5.1,7.1]

在GHC.Enum中定义的实际实现如下：

enumFromThenTo x1 x2 y = map toEnum [fromEnum x1, fromEnum x2 .. fromEnum y]

但是Enum Double中没有Enum Float或GHC.Enum的实例

因此，当我尝试使用以下代码重现此代码时：

import Prelude(putStrLn,show)
import GHC.Enum(toEnum,fromEnum,Enum,enumFromThenTo)
import GHC.Base(map)

main = putStrLn (show (_enumFromThenTo 3.1 5.1 8.1))

_enumFromThenTo :: (Enum a) => a -> a -> a -> [a]
_enumFromThenTo x1 x2 y = map toEnum [fromEnum x1, fromEnum x2 .. fromEnum y]

我使用的是

$ ghc -package ghc -package base <file.hs>

结果又是：

[3.0,5.0,7.0]

这里发生了什么，因此输出变为：

[3.1,5.1,7.1,9.099999999999998]

？

Answer 1

Well, this is instance Enum Double

instance Enum Double where
  enumFromThenTo = numericEnumThenFromTo

The implementation is here

numericEnumFromThenTo   :: (Ord a, Fractional a) => a -> a -> a -> [a]
numericEnumFromThenTo e1 e2 e3
    = takeWhile predicate (numericEnumFromThen e1 e2)
                                where
                                 mid = (e2 - e1) / 2
                                 predicate | e2 >= e1  = (<= e3 + mid)
                                           | otherwise = (>= e3 + mid)

比实现更重要的是上面的注释：

-- These 'numeric' enumerations come straight from the Report

指的是this passage in the (2010) Report：

对于Float和Double，enumFrom族的语义由上述Int的规则给出，除了当元素大于e ₃ + i ∕ 2表示正增量i，或者当它们小于e ₃ + i ∕ 2表示负i。

（其中e ₃表示上限，i表示增量。）

您在Enum上找到的注释与class Enum中的实现都不相关。该注释只是示例代码，详细说明了如何实现实例，并且给出的实现位于类内部，因此可能被任何内容覆盖。

分数生成列表如何工作？

1 个答案: