functional-programming - 类型检查与类型推断

Question

谁能解释 之间的区别类型检查和 类型推断 问题 ？

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

Answer 1

鉴于代码:

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

您有什么想说的吗 lst必须是或什么程序返回类型？编译器可能会做同样的事情，它被称为类型推断。

类型检查是检查代码中指定的类型或推断的类型。如果代码中存在不一致，或者推断它加起来并不清楚，它将失败。