haskell - 为什么 Haskell 使用 -> 而不是 =？

Question

为什么 Haskell 使用“->”，而它似乎只是使用了“=”？

例如，这有什么问题？

take m ys               = case (m,ys) of
                            (0,_)       =  []
                            (_,[])      =  []
                            (n,x:xs)    =  x : take (n-1) xs

或者

(\x = x * x)

Answer 1

写出来会很不幸

(0, _) = []

因为那不是真的。

在 Robert Recorde 的传统中，我们只在希望左侧等于右侧时才尝试编写方程。所以我们写

dup x = (x, x)

制作 dup x等于 (x, x) ， 或者

dup = \ x -> (x, x)

制作 dup等于映射 x的函数至 (x, x) ， 但不是

\ x = (x, x)

因为没有办法制作 x等于 (x, x) .

当我们允许“跌倒”时，我们只会稍微偏离传统，例如，

f 0 = 1
f n = 2 * f (n - 1)

但仅在第二行有一个无声的“否则”的意义上。