如何在 haskell 中使用常量以避免幻数？

Question

假设我有一个从 1 到 MAGIC_NUMBER 的数字列表 - 有没有办法可以提前声明这一点？

Answer 1

当然。事实上，鉴于 Haskell 是纯函数式的，定义常量比定义非常量要容易得多。

magicNumber = 42

magicList = [1..magicNumber]

Answer 2

Chuck和Ony的答案是正确的。您应该注意一个陷阱：

magicNum = 42

f magicNum = 'A'
f _ = 'B'

这不是您所期望的 - 第二行中的 magicNum 是一种匹配所有内容的模式，就像 fx = 'A' 一样。使用 fx | x == magicNum = 'A'。

Answer 3

您可以在所有计算中使用代数数据，并使用一些命名值（如果它们确实“神奇”），或者将代数值构建为“神奇”数字等等：

class FlagsMask f where mask :: f -> Int

data Magics = Alpha | Beta | Gamma
    deriving (Enum, Read, Show, Eq, Ord)

instance FlagsMask Magics where
    mask m = 2 ^ fromEnum m

data PermsFlag = FlagRead | FlagWrite | FlagExec | FlagSuper

-- [flagRead, flagWrite, flagExec] = [2^n | n <- [0..2]]
(flagRead : flagWrite : flagExec : _) = [2^n | n <- [0..]]
flagSuper = 16

instance FlagsMask PermsFlag  where
    mask FlagRead = flagRead
    mask FlagWrite = flagWrite
    mask FlagExec = flagExec
    mask FlagSuper = flagSuper

*Main> map fromEnum [Alpha .. ]
[0,1,2]
it :: [Int]
*Main> zip [Alpha .. ] [1..]
[(Alpha,1),(Beta,2),(Gamma,3)]
it :: [(Magics, Integer)]