文件名称：tapl-scala:Scala中的“类型和编程语言”一书中的代码
文件大小：180KB
文件格式：ZIP
更新时间：2024-05-20 08:42:17
programming-languages tapl type-checking type-inference Scala
Scala的TAPL 这个项目试图将本杰明·皮尔斯（Benjamin C. Pierce）的书《类型和编程语言》（Types and Programming Languages）的非常漂亮的伴随代码（由皮尔斯在OCaml中编写）移植到Scala中。 路线图 tapl.arith （第3、4章） tapl.untyped （第tapl.untyped章） tapl.fulluntyped （第5章至第7章） tapl.tyarith （第8章） tapl.simplebool （第10章） tapl.fullsimple （第9章和第11章） tapl.fullref （第13章，第18章，基于tapl.fullsimple ） tapl.fullerror （第14章，基于tapl.simplebool ） tapl.rcdsubbot （第15章，rcd = recor