kentuckymule：Scala类型检查速度的限制

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