types - Typed Racket 中的打字功能与 Clojure 中的类类型功能有何异同？

Question

Clojure 有一些用于表示类型的有趣特性，包括但不限于 deftype , defprotocol , reify和 extend .

Typed Racket 中的打字功能与 Clojure 中的类类型功能有何异同？

Answer 1

deftype和 defprotocol在 Clojure 中定义动态行为。在 Racket 中，我们会用 struct 做类似的事情。或 struct-property , 虽然没有什么比 defprotocol在 Racket 。

编辑: Racket 现在有 generics ，类似于 Clojure 协议(protocol)。
reify和 extend ，我认为，对应于 make-struct-type 的用途在 Racket 中，它动态地创建新的结构类型。

Typed Racket 和所有这些功能的最大区别在于 Typed Racket 在尝试运行之前静态检查您的程序。您永远不能在 Typed Racket 程序中应用错误的访问器，或者将数字用作函数。你甚至不能运行一个可能有这样错误的程序。

目前，Clojure 最像 Typed Racket 的特性是它用于性能的注解。

编辑:现在有Typed Clojure由 Ambrose Bonnaire-Sergeant 创作，灵感来自 Typed Racket。