我一直在使用GADTs创建一个完全类型的DSEL,并使用完全类型安全的AST,并且看起来,正确输入的编译器需要一些构造,例如
Haskell类型的映射到类型和值(类型化环境)并且这样可以被Haskell型系统所理解. C的Boost.Fusion库具有这样的结构(type->值映射,类型值的向量等). Data.Tuple负责处理序列,但是有一些Haskell版本的Boost.Fusion映射？
解决方法
看看
dependent-map包.我没有使用它,但它似乎做你要求的.如果您需要真正使用类型(和类型)相等,则可能需要同意默认值或使用TypeRep作为键.
原文地址：https://www.jb51.cc/c/113079.html
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
