OCaml类型系统的缺陷有哪些

2019-11-26 22:46:21

Rank-1的限制啊。简单来说就是你不能把某个函数的类型设置成，符号只能在最外面，所以你不能直接引用某个多态函数本身，只能去引用它刷出来的某个具体版本（至于是哪个，是推导决定的）。如果去掉这个限制，那就得有运行时代码膨胀，现场把某个多态函数「刷」成一个非多态的版本（这方面SPJ的论文里面有描述一个转换代码，可以算出决议的时机）。威澳门尼斯人36366com记得好像C#都没有这种能力。至于为什么Haskell敢开Rank-N……Haskell的多态实现其实挺像JAVA的，不过额外附加了一个Dict说明要刷成哪个版本出来。想到这儿突然发现Julia里面是可以把多态函数作为参数传入的：id{T}(x::T)=xq(f)=(f(1),f("wow"))再考虑到这语言居然还支持ValueasType……原来Julia才是站在LambdaCube顶端的男人（逃

相关产品

相关资讯