文件名称：jaw:使用GADT编码
文件大小：13KB
文件格式：ZIP
更新时间：2024-05-19 08:49:42
OCaml
此存储库包含一些有趣的GADT代码段。 大多数代码都很简单，但是有些代码可能对您来说很复杂。 几乎没有人能达到令人jaw目结舌的水平... GADT的使用方式如下： 在编译时强制执行不变式，因此保证可以正确实现 更强大的数据结构，例如异构列表 也许更多...
【文件预览】：
jaw-master
----.gitignore(189B)
----safe_list.ml(432B)
----README.md(361B)
----htreemap.ml(3KB)
----hlist.ml(859B)
----LICENSE(1KB)
----hashtable.ml(3KB)
----prime.ml(953B)
----alist.ml(814B)
----apply.ml(463B)
----binomial_heap.ml(5KB)
----hlinearmap.ml(2KB)
----nat.ml(924B)
----leftist_heap.ml(2KB)
----avl.ml(10KB)
----lr_parser.ml(5KB)