Crystal语言如何实现可正常运行的柯里化加法Proc？示例报错求助

错误原因分析 #

你遇到的no overload matches 'Proc(Int32, Int32)#call'错误，核心是对Crystal里Proc类型的语法理解偏差：在Crystal中，Proc(Int32, Int32)代表的是接受1个Int32参数、返回Int32的Proc，而非你需要的「接受2个Int32参数、返回Int32的Proc」。Crystal的Proc类型规则是：Proc(参数类型1, 参数类型2, ..., 返回值类型)，多参数Proc需要把所有参数类型列在返回值类型之前。

你的add是双参数Proc，正确类型应为Proc(Int32, Int32, Int32)，但你定义semi_curry时把参数限定成了单参数Proc，导致调用f.call(a, b)时参数数量不匹配，自然触发了报错。

修正后的代码方案 #

方案1：针对Int32加法的特定实现

直接修正semi_curry的参数类型，让它接受双参数Proc：

# 修正参数类型为Proc(Int32, Int32, Int32)：前两个是输入参数，最后一个是返回值
semi_curry = ->(f: Proc(Int32, Int32, Int32)) { ->(a: Int32) { ->(b: Int32) { f.call(a, b) } } }
add = ->(a: Int32, b: Int32) { a + b }
p semi_curry(add).call(5).call(6) # 输出：11

方案2：泛型通用柯里化函数（更推荐）

如果想让柯里化函数支持任意双参数Proc，可以用泛型实现，复用性更强：

# 泛型版本：支持任意输入类型A、B，返回类型R的双参数Proc
semi_curry = ->(f: Proc(A, B, R), A, B, R) {
  ->(a: A) {
    ->(b: B) {
      f.call(a, b)
    }
  }
}

# 不仅支持Int32加法，还能兼容其他类型的双参数操作
add = ->(a: Int32, b: Int32) { a + b }
p semi_curry(add).call(5).call(6) # 输出：11

concat = ->(s1: String, s2: String) { s1 + s2 }
p semi_curry(concat).call("Hello ").call("World") # 输出："Hello World"

验证结果 #

运行修正后的代码，会正确输出预期的11，柯里化逻辑正常工作。

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