文件名称：dict-typing:Dict Typing-使用Data.Constraint.Dict和隐式参数解决Haskell记录问题
文件大小：20KB
文件格式：ZIP
更新时间：2024-05-17 08:34:14
字典输入 使用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)