我有静态类型背景，正在研究函数式编程，但我对动态类型并不完全感兴趣。我很好奇有哪些选择。
首先给出一个答案:ActionScript 3 是静态类型的，并提供了一些函数范例，尽管 AS3 程序并不经常使用它们。
最佳答案
有很多。我想到了 Haskell、OCaml 和 F#。如果您是一名 Windows 开发人员，F# 非常好，并且得到 Microsoft 的大力支持(以及非常强大的 StackOverflow 社区)。 Lisp 系列语言(Common Lisp、Scheme、Clojure)是动态函数式语言的示例。
ActionScript 3 具有可选的静态类型。另一方面，Haskell、OCaml 和 F# 编译器使用类型推断来确定性地推断类型。当您第一次查看用 OCaml 编写的代码时，由于没有显式类型，因此它具有动态类型语言的困惑外观以及静态类型的类型安全性。我认为动态语言的可选静态类型(一个好主意)最终将被类型推断所取代，并且 10 年后静态与动态的争论将毫无意义。
关于types - 是否有静态类型的函数语言？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8147328/