文件名称：mini-core:核心语言的实现
文件大小：9.79MB
文件格式：ZIP
更新时间：2024-05-24 19:12:11
Haskell
迷你核 概述 Mini-Core最初是由Simon Peyton Jones和David Lester撰写的《 描述的Core语言的。 通过添加let-polymorphic类型推断和一些用于在数据构造函数上指定和匹配的具体语法，我略有分歧。 用法 mini-core将文件编译为G代码，然后在虚拟G-Machine中执行。 Usage: mini-core [OPTION...] file -h --help Print usage and exit --show-parse Show program after parsing --show-types Show types after type-checking --show-simple Show program after constructor generati
【文件预览】：
mini-core-master
----mini-core.cabal(1KB)
----Setup.hs(46B)
----Makefile(4KB)
----src()
--------Main.hs(3KB)
--------MiniCore()
----LICENSE(1KB)
----reference()
--------ImplementingFunctionalLanguages.pdf(919KB)
--------TheChalmersLazyMLCompiler.pdf(8.96MB)
--------DerivationPatternMatchingCompiler.pdf(133KB)
----examples()
--------factorial.core(159B)
--------badpoly.core(144B)
--------fold.core(248B)
--------infinite.core(357B)
--------map.core(246B)
--------badscrut.core(116B)
--------fibonacci.core(159B)
--------polymorphic.core(497B)
--------arithmetic.core(126B)
--------fixedpoint.core(159B)
--------freevar.core(81B)
--------badcase.core(92B)
----README.md(3KB)
----tests()
--------fold.out(3B)
--------infinite.out(94B)
--------fixedpoint.out(8B)
--------badscrut.out(64B)
--------fibonacci.out(3B)
--------arithmetic.out(4B)
--------factorial.out(8B)
--------badcase.out(102B)
--------polymorphic.out(2B)
--------freevar.out(3B)
--------badpoly.out(75B)
--------map.out(45B)
----stack.yaml(59B)