基于multThree示例验证Haskell多参数函数执行逻辑的正确性

你的解读核心逻辑是正确的，只是表述上可以更严谨，更贴合Haskell的柯里化特性。

Haskell中所有函数本质上都是单参数函数，所谓的多参数函数实际是「接收一个参数、返回另一个函数」的嵌套结构的语法糖，你引用的描述里把类型写作multThree :: (Num a) => a -> (a -> (a -> a))就是为了体现这一点。

你给出的推导里((3*y*z)5)9的写法容易产生歧义，更准确的展开过程是：

((multThree 3) 5) 9
-- 第一步：3应用到multThree，返回接收y的函数，等价于：
(\y z -> 3 * y * z) 5 9
-- 第二步：5应用到上一步返回的函数，返回接收z的函数，等价于：
(\z -> 3 * 5 * z) 9
-- 第三步：9应用到上一步返回的函数，计算得最终结果：
3 * 5 * 9 = 135

这个展开逻辑和你理解的计算过程、最终结果完全一致，只是明确了每一步参数应用后生成的是新的单参数函数，符合Haskell的实际执行规则。

内容的提问来源于stack exchange，提问作者cody53982