siek vachharajani dls2008 源码

该存储库包含以下论文中的代码: 杰里米·锡克(Jeremy G. Siek)和曼尼什·瓦哈拉哈尼(Manish Vachharajani)。 使用基于统一的推理进行渐进式打字。 动态语言研讨会(DLS)2008。 目录/ gtubi包含从以下位置下载的代码: 进行以下更改: 我删除了.svn目录 该工具有两个副本。 据我所知,唯一的区别是,一个简化了对应用程序的let表达式,而另一个则没有。 存储库中的副本直接支持let表达式。 我修改了Makefile以使用ocamlopt 我已经修改了主程序,以便在类型推断后打印完整程序。 根目录中的代码使用Docker创建一个支持可编译和运行代码的OCaml较旧版本的操作环境。 此代码不再起作用的主要原因是OCaml 4.02引入了不可变字符串和可变字节之间的区别。 它可能很容易修复。 要构建环境: 制作 要访问环境: ./gtu