haskell - 让数据构造函数

Question

我有这些陈述：

data SL a = SR (Integer -> (a, Integer))
    deriving(Show)

instance Monad SL where
    return k = SR (\st -> (k, st))

xx::SL Integer
xx = return 4

然后我做：

let SR f = xx

我现在有：

xx :: SL Integer
f :: Integer -> (Integer, Integer)

但我不明白为什么。也许我错过了let DATACONSTRUCTOR ...

你能帮我吗？

score 8 · Accepted Answer

let SR f = xx意味着SR f应该等于xx。所以，

SR f = xx                   -- let
     = return 4             -- def. xx
     = SR (\st -> (4, st))  -- def. return

因此

f = \st -> (4, st)  -- remove SR on both sides

在这种情况下，它是类型，Integer -> (Integer, Integer)因为SR :: a -> Integer -> (a, Integer)和xx :: SL Integer。

score 5 · Accepted Answer

let并且where也是模式匹配，例如case，但只有一种选择。例如一个let表达式：

let SR f = xx in ...

就像下面的case表达式：

case xx of
  SR f -> ...

大多数人只是简单地使用let和where做简单的变量绑定，所以他们没有意识到它们是模式匹配。但是，变量绑定只是模式匹配的一种特殊情况（模式匹配中的标识符匹配所有内容并将值绑定到变量）。

此外，大多数模式匹配需要不止一种替代方案，因此let不适用。即使您只想匹配特定的构造函数，进行不完整的模式匹配也不是一个好主意。但是，在某些情况下，一种替代方案是完全匹配的，例如，元组 match (x, y)，或者在您的情况下，只有一个构造函数的数据类型。

2 回答 2