问题描述
|
我想问一下Clojure上有什么样的类型安全语言构造？
我已经读过几次Luke VanderHart和Stuart Sierra的“ Practical Clojure”，但是我仍然给人一种明显的印象，即Clojure（像其他lisps）并不十分重视编译时验证检查。类型安全只是用于正确语义编译时检查的一种（非常流行的）策略
我问这个问题是因为我很想证明自己错了。 clojure上有哪些设计模式可用来（在编译时而不是在运行时）验证期望字符串的函数不会被整数列表调用？
另外，我读过像Paul Graham这样的非常聪明的人，公开倡导Lisp允许在其之上实施低级语言的所有功能（大多数人会说，语言本身也在其之上重新实现），所以如果断言是正确的，那么诸如类型检查之类的琐碎事情应该轻而易举。因此，您是否觉得clojure或其他lisps中存在类型系统（或实现此类类型系统的能力），从而使程序员能够将验证检查从运行时偏移到编译时，甚至更好，所以可以设计-时间？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）