kentuckymule:Scala类型检查速度的限制 源码

肯塔基M子 肯塔基穆勒(Kentucky Mule)对Scala编译器设计(特别是类型检查器)的替代体系结构进行了探索,重点是速度。 从肯塔基州ule子那里学到的教训适用于各种可能的编译器,而不仅限于Scala编译器。 我的博客文章中描述了肯塔基M子的起源 自从我写博客文章以来,我将最初的问题改写为一个双重问题,但只有获胜的结果: 如何构建高度并行和高性能的类型检查器,或者Scala是否具有基本的语言设计缺陷来防止这种缺陷? 此仓库中的原型计算了我在博客文章中描述的大纲类型。 轮廓类型使计算符号表中符号之间的依赖关系成为可能。 名称 肯塔基M子是旧金山餐厅Beretta提供的基于波旁威