为什么Scala的类型系统不是Clojure中的图书馆
我听说有人声称:
> Scala的类型系统是惊人的(存在类型,变体,共同变体) 题: 如果两个断言都是真的,为什么Scala的类型系统不是Clojure中的一个库?是因为: >类型是图书馆不能正常工作的其中之一? [即这些变化将以某种方式穿过每个现有的clojure库,包括clojure.core?] 解决方法
这是一个有趣的问题.
您对Scala有一个惊人的类型系统,而且关于Clojure是非常显着的元编程和语言扩展(尽管这不仅仅是宏….). 我可以想到的几个原因: > Clojure是一种动态类型的语言,而Scala是静态类型的语言.强大的类型推论在语言中并没有太多的用处,您可以在这些语言中对输入的类型相对较少. 在没有对Clojure本身进行重大改变(我认为不太可能)的情况下,一个有趣的可能性是在Clojure中创建一个DSL,为特定的域提供Scala风格的类型推断,并将此DSL直接编译成优化的Java字节码.我可以看到,对于特定的问题域(例如大型矩阵的大规模数值数据处理),这是一个有用的方法. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |