Haskell技术问询：如何定义无限/循环代数数据类型及为音符类型实现循环Enum实例

嘿，这两个Haskell问题我熟！让我一步步给你讲清楚：

在Haskell里，惰性求值是实现无限/循环数据类型的核心——我们可以利用递归定义，让数据类型的构造器直接引用自身，形成循环依赖，而且因为惰性，不需要完全求值整个结构就能正常使用。

举几个实用的例子：

• 最简单的纯循环类型：

-- 构造器Loop接受另一个Loop作为参数，天然形成无限循环
data Loop = Loop Loop

-- 惰性求值下可以直接创建循环实例
myLoop :: Loop
myLoop = Loop myLoop

你可以对myLoop做模式匹配（比如case myLoop of Loop next -> ...），每次都会拿到下一个循环节点，永远不会终止。

• 更实用的循环序列，比如无限循环的颜色轮：

data ColorCycle = Red ColorCycle | Green ColorCycle | Blue ColorCycle

-- 构建红→绿→蓝→红的无限循环序列
redCycle :: ColorCycle
redCycle = Red greenCycle
greenCycle :: ColorCycle
greenCycle = Green blueCycle
blueCycle :: ColorCycle
blueCycle = Blue redCycle

每次匹配redCycle都会得到Red greenCycle，再匹配greenCycle得到Green blueCycle，依此类推，形成无限循环的颜色序列。

你的Note类型有12个成员，要实现Enum让succ G返回Ab，核心是正确实现fromEnum和toEnum，并通过取模运算处理边界实现循环逻辑。

直接上完整可运行的代码：

data Note = Ab | A | Bb | B | C | Db | D | Eb | E | F | Gb | G deriving (Eq, Ord)

instance Enum Note where
    -- 把每个Note映射到0-11的整数，顺序对应音符的循环逻辑
    fromEnum Ab = 0
    fromEnum A = 1
    fromEnum Bb = 2
    fromEnum B = 3
    fromEnum C = 4
    fromEnum Db = 5
    fromEnum D = 6
    fromEnum Eb = 7
    fromEnum E = 8
    fromEnum F = 9
    fromEnum Gb = 10
    fromEnum G = 11

    -- 把整数转成Note，用`mod 12`处理边界，实现循环
    toEnum n = case n `mod` 12 of
        0 -> Ab
        1 -> A
        2 -> Bb
        3 -> B
        4 -> C
        5 -> Db
        6 -> D
        7 -> Eb
        8 -> E
        9 -> F
        10 -> Gb
        11 -> G
        _ -> error "Invalid Note index" -- 理论上不会触发，为了代码健壮性保留

为什么这样可行？ #

• succ的默认实现是toEnum . (+1) . fromEnum，所以succ G会计算fromEnum G +1 =11+1=12，然后12 mod12=0，对应Ab，完美实现循环。
• 同理，pred Ab会计算0-1=-1，-1 mod12=11，对应G，反向循环也正常。
• 甚至支持超出范围的整数，比如toEnum 13 :: Note会返回A，toEnum (-2) :: Note返回Gb。

在GHCi里测试的话，会得到：

λ> succ G
Ab
λ> pred Ab
G
λ> [C .. G] ++ [Ab .. B]
[C,Db,D,Eb,E,F,Gb,G,Ab,A,Bb,B]

内容的提问来源于stack exchange，提问作者Atavixion