文件名称:dth:Haskell中的依赖类型程序的示例
文件大小:153.39MB
文件格式:ZIP
更新时间:2024-05-29 07:15:26
Haskell
:简单介绍(PLMW 2018) 使用长度索引列表实现宾果游戏 :“ Haskell中的依赖类型”中的示例代码 相依类型的正则表达式子匹配 :“取决于类型”中的示例代码 静态保留其不变式的红色/黑色树 :依赖型GHC的其他例子 :幻灯片 “取决于类型”,ICFP 2014, ,Typelevel峰会2016 “从属类型的影响”, “依赖类型的Haskell”, “ Haskell中的依赖类型”,McMaster 2017,UW 2017和Comcast FP 2018 另请参阅:在单独的存储库中的
【文件预览】:
dth-master
----regexp()
--------stack.yaml(2KB)
--------LICENSE(1KB)
--------src()
--------Setup.hs(46B)
--------Example.hs(1KB)
--------dependent-regexp.cabal(3KB)
--------README.md(605B)
--------ChangeLog.md(424B)
----vector-bingo()
--------Vector.lhs(13KB)
--------vector-bingo.cabal(748B)
--------LICENSE(1KB)
----depending-on-types()
--------Okasaki.hs(1KB)
--------Ordering.agda(99B)
--------RBT.hs(4KB)
--------SimpleRBT.hs(6KB)
--------RBT.agda(5KB)
--------README.md(492B)
----talks()
--------depending-on-types.pptx(581KB)
--------mcmaster.pptx(64.33MB)
--------haskell-exchange.pptx(50.04MB)
--------strangeloop17.pptx(75.38MB)
--------uw.pptx(64.33MB)
--------comcast.pptx(50.04MB)
--------influence.pptx(64.26MB)
----nested-datatypes()
--------Finger.lhs(3KB)
--------Nested.lhs(27KB)
--------Scoped.lhs(5KB)
--------nested-datatypes.cabal(1KB)
--------SubstScoped.lhs(8KB)
--------Peano.lhs(8KB)
--------Some.lhs(612B)
--------Nat.lhs(4KB)
--------DFinger.lhs(6KB)
--------Main.hs(874B)
----examples()
--------dynamic()
--------red-black()
--------zipwith()
--------instant-insanity()
--------order.hs(20KB)
--------perfect-trees()
--------dep-typed-wbl-heaps()
--------treap()
--------WhyDependentTypesMatter.hs(15KB)
----.gitignore(53B)
----README.md(1KB)