type-inference - 具有静态、结构类型和全局类型推断的命令式语言

Question

我知道像 Haskell 这样的语言是静态类型的并且有类型推断。但是是否存在具有全局类型推断的非函数式语言，相当于具有类型推断和结构类型的 C 之类的东西。

Answer 1

OCaml 是我所知道的唯一一种可以是命令式/面向对象的静态类型、垃圾收集并支持全局类型推断和结构类型的语言，尽管它本质上是一种函数式语言。

Scala 不是像 OCaml 那样的函数式语言，而是一种支持结构类型的命令式/面向对象语言，但没有 type inference you're looking for .不过，它仍然支持函数式构造。

如果“非函数式”是指一种根本不支持函数式编程的语言，那么我认为不存在。