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