Как использовать константы в haskell, чтобы избежать магических чисел?

Question

Скажем, у меня есть список чисел от 1 до MAGIC_NUMBER - есть ли способ объявить это заранее?

Answer 1

Конечно. Фактически, учитывая, что Haskell является чисто функциональным, намного проще определить константу, чем непостоянную.

magicNumber = 42

magicList = [1..magicNumber]

Answer 2

Чак и Они ответили правильно. Есть одна ловушка, о которой вы должны знать:

magicNum = 42

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

это НЕ то, что вы могли бы ожидать - magicNum во второй строке - это шаблон, который соответствует всему, как и f x = 'A'. Используйте f x | 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)]