sized-hkts:具有未装箱的,静态大小的数据类型的语言中的更高种类的多态性

时间:2024-05-06 01:44:59
【文件属性】:

文件名称:sized-hkts:具有未装箱的,静态大小的数据类型的语言中的更高种类的多态性

文件大小:52KB

文件格式:ZIP

更新时间:2024-05-06 01:44:59

Haskell

sized-hkts 一个实现静态大小较大的实物类型ala Rust的编译器。 请参阅的配套文章。


【文件预览】:
sized-hkts-master
----.gitignore(21B)
----README.md(162B)
----CHANGELOG.md(113B)
----Setup.hs(46B)
----test()
--------Main.hs(37KB)
--------Test()
----compiler()
--------Main.hs(561B)
----cabal.project(309B)
----examples()
--------ex3.out(4KB)
--------ex2.out(4KB)
--------ex3.src(696B)
--------ex1.src(407B)
--------ex2.src(699B)
--------Main.hs(1KB)
--------ex1.out(1KB)
----LICENSE(1KB)
----sized-hkts.cabal(3KB)
----src()
--------Unify()
--------Parser.hs(7KB)
--------Codegen.hs(15KB)
--------Syntax.hs(10KB)
--------Size()
--------Compile.hs(9KB)
--------Codegen()
--------Check()
--------IR.hs(10KB)
--------Error()
--------Size.hs(3KB)

网友评论