球拍函数上的统一算法？

Question

在我的编程语言课程中，我们手把手地复习了统一算法。TA无法解决如何将统一算法应用于球拍中的nmap函数的一些示例。有人能给我解释一下如何将统一算法应用于球拍中的任何函数吗？举个例子，有没有人能帮我把统一算法应用于这个函数：

 (define nmap
  (lambda(f l)
   (cond [(nempty? l) nempty]
         [(ncons? l)
          (ncons (f (nfirst l))
                 (nmap f (nrest l)))])))

Answer 1

统一通常指的是使用模式匹配和变量替换来求解一组联立方程组的技术。它经常用于类型检查，以推断表达式的类型。话虽如此，但我并不清楚您到底想如何在这段代码上使用统一。你在考虑Hindley-Milner类型的推理算法吗？或者你在想一个完全不同的术语的含义。