这是一个使用 CPS 样式将列表中的元素相乘的函数
mlist xx k = aux xx k
where aux [] nk = nk 1
aux (0:xs) nk = k 0
aux (x:xs) nk = aux xs $ \v -> mul x v nk
如果我将表达式aux (0:xs) nk = k 0中的'k' 更改为 'nk'怎么办,这两者有什么区别?
这是一个使用 CPS 样式将列表中的元素相乘的函数
mlist xx k = aux xx k
where aux [] nk = nk 1
aux (0:xs) nk = k 0
aux (x:xs) nk = aux xs $ \v -> mul x v nk
如果我将表达式aux (0:xs) nk = k 0中的'k' 更改为 'nk'怎么办,这两者有什么区别?