代码之家 › 专栏 › 技术社区 › Jon Deaton

为什么这个函数不在Haskell中终止?

haskell

Jon Deaton · 技术社区 · 5 年前

我很困惑为什么我的功能 nest 组成 f 与自己 n 时代

nest f 0 = id
nest f n = f . nest f (n - 1)

永不终止。我本以为它会在案件上“模式匹配” n个 变成零。我是通过在GHCI中键入这两行并用 nest (+ 1) 2 3 例如。

2 回复 | 直到 5 年前

Emily user7610 5 年前

通过在两个单独的REPL行上键入该函数,您实际上是在第二次重新定义它,省略了基本情况。

将此函数输入REPL的正确方法是:

nest f 0 = id; nest f n = f . nest f (n - 1)

或者,可以使用 :{ 命令,让它使用 :} .

Thomas M. DuBuisson 5 年前

当你把它粘贴到GHCi中时,你所做的是定义 nest f 0 = id . 然后你说“忽略那个函数,我用一个新的同名函数替换它,整个定义是 nest f n = f . nest f (n - 1) .

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前