有动态类型的函数式语言吗？

Question

这与此问题基本相反：Are there statically-typed functional languages?

该问题中提到的唯一动态类型的函数式语言是＆＃34; Lisp家族语言（Common Lisp，Scheme，Clojure）＆＃34;。

还有其他动态类型的函数式语言吗？

Answer 1

Erlang是一种功能最多的语言（尽管不是纯粹的功能），并且是动态键入的。

许多其他语言在某种程度上支持函数式编程并具有动态类型系统：

• 服装
• Smalltalk

...等等。这些语言的主要功能是：

• 函数是一流的（可以作为值传递）
• 数据大部分是不可变的
• 参照透明函数（即，函数不会改变状态）。

大多数实用语言仍支持某些命令式构造，当功能范式不适合该问题（许多经典数据结构需要状态改变。等效功能结构并不总是可用）或性能有利于数据突变时，可以使用这些命令式构造就地。