.. 在哪里定义？答案

【问题标题】：Where is .. defined?.. 在哪里定义？
【发布时间】：2020-09-01 20:24:44
【问题描述】：

我只是想知道 .. 是否实际上在任何地方的 Haskell 代码中定义，例如在 the Prelude 中？ enumFromTo 是一样的吗？我不明白定义是什么？

enumFromTo x y  =  map toEnum [fromEnum x .. fromEnum y]

[ e1 .. e3 ]  =  enumFromTo e1 e3

【问题讨论】：

你如何定义它的后缀形式？它不是一个接受数字并返回跨越该数字的有限范围的函数。
@bipll 好的，我把括号去掉了。
不管括号，a .. 是一个有效的表达式，它不是一个函数，同样a, a + 3 ..。你会如何定义它们？

标签： haskell enums enumeration typeclass definition

【解决方案1】：

它是报告中指定的语法的一部分，section 3.10。

是的，它使用enumFrom 等函数转换为代码：

对于您对问题的编辑：您显示的定义是 Enum 类型类中的“默认定义”。在您链接的前奏曲中就这样说：

class  Enum a  where
    succ, pred       :: a -> a
    toEnum           :: Int -> a
    fromEnum         :: a -> Int
    enumFrom         :: a -> [a]             -- [n..]
    enumFromThen     :: a -> a -> [a]        -- [n,n'..]
    enumFromTo       :: a -> a -> [a]        -- [n..m]
    enumFromThenTo   :: a -> a -> a -> [a]   -- [n,n'..m]

        -- Minimal complete definition:
        --      toEnum, fromEnum
--             _______                                      -- ____
-- NOTE: these default methods only make sense for types    -- **** NB
--   that map injectively into Int using fromEnum
--  and toEnum.
    succ             =  toEnum . (+1) . fromEnum
    pred             =  toEnum . (subtract 1) . fromEnum
    enumFrom x       =  map toEnum [fromEnum x ..]
    enumFromTo x y   =  map toEnum [fromEnum x .. fromEnum y]
    enumFromThen x y =  map toEnum [fromEnum x, fromEnum y ..]
    enumFromThenTo x y z = 
                        map toEnum [fromEnum x, fromEnum y .. fromEnum z]

因此 in Enum 的每个类型a 必须至少提供toEnum :: Int -> a 和fromEnum :: a -> Int 的定义。如果它没有提供自己的定义，例如enumFromTo :: a -> a -> [a] 则将使用其默认定义：

enumFromTo :: a -> a -> [a]
enumFromTo x  y   =  map  toEnum  [fromEnum x .. fromEnum y ]
--        └a┘└a┘                           └a┘           └a┘
--                                 └──Int────┘   └──Int────┘
--                       └Int->a┘ └─────────[Int]───────────┘
--                   └───────────────[a]────────────────────┘

而对于Int 类型本身，在库中的某处定义了一个特定定义，因此enumFromTo 的默认定义不用于Int，因此没有恶意圈子。

【讨论】：