Haskell 程序员的 Elixir 第 2 部分

好吧，我想我开始做一系列关于向 Haskell 程序员教授长生不老药的系列，我仍在研究和开发可以很好地在两种语言之间进行比较的想法。

函数式语言的一个重要特性是模式匹配，在 elixir 中，模式匹配与 PROLOG 模式匹配非常相似，幸运的是它与 Haskell 方式没有太大区别

{:ok, result} = make_request("google.com"){:ok, ^result} = make_request("google.com") // true{:ok, ^result} = make_request("facebook.com") 
// false because the ^result will not be a new variable declaration it will verify if the value of result is equal to the second parameter of the tuple

在 Haskell 中，我们会有非常相似的东西

data Status = OK | NOTOK deriving(Show)
main = do
  let (OK, result) = makeRequest("google.com")
  let (OK, result) = makeRequest("google.com") 
  // error result is already defined, and we can't pattern match the value of a dynamic variable

尽管无法对声明的变量进行模式匹配，但两种语言之间的模式匹配/解构值非常相似

{:ok, result} = make_request("google.com")let (OK, result) = makeRequest("google.com")

并且函数中的模式匹配在语言之间非常相似，就像在 elixir 中它会是这样的：

def generic_function(:atom), do: "ATOM"
def generic_function(35), do: "35"
def generic_function(_), do: "I Dunno"

和 Haskell 中的等价物：

genericFunction ATOM = "ATOM" 
genericFunction 35   = "35"
genericFunction _    = "I Dunno"

但是不同的是，elixir 函数有多个元素，这意味着我们可以对不同数量的参数进行模式匹配，这在 Haskell 中是不可能的

def generic_function(:atom, 35), do: "ATOM 35"
def generic_function(35), do: "35"
def generic_function(_), do: "I Dunno"

现在我们看到了如何进行模式匹配，我们不能不学习守卫就离开，在 Haskell 中守卫具有声明函数一次的优势。

guardsInHaskell num
  | num > 0   = "Greater than zero"
  | num < 0   = "Less than zero"
  | otherwise = "It's zero"

在 elixir 中，我们不得不像这样结合模式匹配和守卫：

guards_in_elixir(num) when num > 0 do 
  "Greater than zero"
endguards_in_elixir(num) when num <0 do 
  "Less than zero"
endguards_in_elixir(_), do: "It's zero"

在 elixir 中，为了能够使用守卫，我们必须将函数声明为我们想要检查的多个 when 子句，并且我们必须为每个使用 when 子句的函数打开 do end 块。

我想我们已经到了一个全新系列的第二集的结尾，谢谢你的阅读