clojure - 功能编程和类型系统

Question

我一段时间以来一直在学习各种功能语言，包括Haskell，Scala和Clojure。 Haskell具有非常严格且定义明确的静态类型系统。 Scala也是静态类型的。另一方面，Clojure是动态键入的。

所以我的问题是


类型系统在功能语言中扮演什么角色？
语言是否必须具有类型系统才能使其起作用？
语言的“功能”级别与语言类型系统的类型如何相关？

Answer 1

语言不需要被键入即可起作用-函数编程的核心是lambda calculus，它具有无类型和typed变体。

类型系统扮演两个角色：


它保证在编译时不会在运行时发生一类错误。错误类别通常包括诸如尝试将两个字符串加在一起或尝试将整数用作函数之类的事情。
它具有一些效率上的好处，因为在运行时对象不需要携带其类型，因为这些类型已经在编译时建立了。这称为type erasure。


在像Haskell的高级类型系统中，类型系统可以提供更多好处：


重载：使用一个标识符来引用不同类型的操作
它允许库根据使用的类型（使用Type Families）自动选择优化的实现。
它允许在编译时证明强大的不变量，例如红黑树中的不变量（使用Generalised Algebraic Datatypes）