【文件属性】：
文件名称：dict-typing:Dict Typing-使用Data.Constraint.Dict和隐式参数解决Haskell记录问题
文件大小：20KB
文件格式：ZIP
更新时间：2021-04-27 14:47:34
字典输入
使用Data.Constraint.Dict和隐式参数解决Haskell记录问题
概述
字典类型输入是我用来解决Haskell中可扩展记录问题的一种编程技术。 它利用ConstraintKinds和ImplicitParams GHC扩展使用Data.Constraint.Dict将隐式参数约束化为字典值。
改进的约束字典的作用类似于动态类型的对象，可以安全地按不同的字段顺序进行转换。 字典类型允许函数接受访问者字典来访问具体记录的特定字段。 它还通过使用一流的词典来实现诸如Haskell中的原型继承之类的技术。
该项目目前处于早期开发阶段，即将发布博客和图书馆。 还正在研究使用类似技术在Haskell中实现代数效应。
简报
相关话题
行多态
隐式参数
鸭打字
ML模块
参考
-马特·帕森斯（Matt Parsons）
-爱德华·克梅特（Edward Kmett）
【文件预览】：
dict-typing-master
----demo()
--------Setup.hs(46B)
--------src()
--------default.nix(280B)
--------LICENSE(729B)
--------release.nix(92B)
--------shell.nix(795B)
--------.gitignore(6B)
--------demo.cabal(1KB)
--------result(68B)
----README.md(2KB)