在Haskell中定义多态常量

Question

我已经在Learn You A Haskell中读到了关于多态常量/ nullary多态函数的内容.它提供了几个内置的例子,例如:

ghci> 20 :: Float  
20.0  
ghci> 20 :: Int  
20  
ghci> minBound :: Int  
-2147483648  
ghci> maxBound :: (Bool, Int, Char)  
(True,2147483647,'\1114111')  

但是,它没有解释如何定义自己的.他们是如何定义的？

Answer 1

你需要创建一个类型类,包括你想要的函数/常量,每个都有一个变量返回类型.为您希望常量可以使用的每种类型实例化它.

class MyConstants a where
  one :: a
  ten :: a

instance MyConstants Int where
  one = 1
  ten = 10

instance MyConstants Float where
  one = 1.0
  ten = 10.0

instance MyConstants String where
  one = "one"
  ten = "ten"

用法示例(键盘)

main = do
  putStrLn . show $ (ten :: Int)
  putStrLn . show $ (one :: String)
  putStrLn . show $ (ten :: Float) + one
  putStrLn . show $ "Count from " ++ one ++ " to " ++ ten

10
"one"
11.0
"Count from one to ten"

Answer 2

首先,我建议不要使用术语"常量"来表示非函数,因为所有值都是常量(不可变),无论这些值是否为函数(即具有函数类型).

您甚至不需要类型类来具有多态非函数.一个例子是[].要定义自己的多态非函数,可以定义数据类型(如列表示例中所示)或使用已定义的片段构造某些内容.例如:empties = ([],[[]]).