类型检查与类型推断

Question

有人能解释一下type-inference问题和类型检查之间的区别吗？

我试图寻找差异，但我找不到任何令人信服的来源，清楚地解释了差异。如果可能的话，也包括例子。

Answer 1

鉴于这一守则：

(define (sum lst)
  (if (null? lst)
      0
      (+ (car lst) 
         (sum (cdr lst)))))

对于lst必须是什么或者过程返回类型有什么可以说的吗？编译器可能也会这样做，它将被称为类型推断。

类型检查是检查代码中指定的类型或推断的类型。如果代码中有不一致之处，或者从推断中无法清楚地推断出它的累积，它就会失败。