Question

嘿，我见过以下函数声明

half :: Int -> Int
half (x+2) = 1 + (half x)
half _ = 0

为什么最后一行与零匹配，为什么该函数有效？

Answer 1

要回答标题问题：_匹配任何内容。

前奏＆GT;案例0的_ - ＆gt; ＆＃34;匹配＆＃34;
  ＆＃34;匹配＆＃34;
  前奏＆GT; case _的真实 - ＆gt; ＆＃34;匹配＆＃34;
  ＆＃34;匹配＆＃34;
  前奏＆GT;案例＆＃34; Eeeek＆＃34; of _ - ＆gt; ＆＃34;匹配＆＃34;
  ＆＃34;匹配＆＃34;
  前奏＆GT; case undefined of _ - ＆gt; ＆＃34;匹配＆＃34;
  ＆＃34;匹配＆＃34;

但这似乎并不是你的问题;在您的示例_中匹配 0，但映射到 0。所以答案是＆＃34;为什么＆＃34;基本上是＃34;因为它是以这种方式定义的＃34;。至于为什么这会产生一个有用的功能：_模式再次匹配任何东西 - 任何都不匹配以前的模式之一。现在，在您的情况下，之前的模式恰好是一个讨厌的n+k-pattern, which isn't actually legal in modern Haskell。我认为标准的替代方案确实更具有解释性：

half x | x>=2  = 1 + half (x - 2)
half _ = 0

所以，如果我们假装签名是

half :: Nat -> Nat

然后第二个条款基本上只是

half 1 = 0
half 0 = 0

对整数除法有明显的意义。

第一个子句可行的原因可能并不那么明显。但是你可以通过将x描绘成一个＆＃34;资源＆＃34;来轻松掌握它。这是以递归方式消耗的：你不断从中取走两个单位，每次都在结果中加一个单位。最后，结果将是x＆＃39;的一半。原始价值。

Answer 2

它匹配，因为要匹配的模式只是一个＆＃34;变量＆＃34;，所以它将匹配任何值。

说你有这个功能：

fun :: Int -> String
fun 1 = "one"
fun 2 = "two"
fun x = "other"

由于最后一个模式是变量，因此它将匹配不 1或2的任何数字。但请注意，我们实际上并没有在最后一个模式中使用 x;我们只是用它来匹配任何数字。如果我们不想为我们甚至不会使用的变量提出名称，该怎么办？答案就是下划线（_）。我们只需将上一场比赛中的x替换为_：

即可

fun _ = "other"

为什么_匹配0？

2 个答案: