Haskell等效于Boost.Fusion

发布时间：2020-12-16 05:59:27 所属栏目：百科来源：网络整理

导读：我一直在使用GADTs创建一个完全类型的DSEL,并使用完全类型安全的AST,并且看起来,正确输入的编译器需要一些构造,例如 Haskell类型的映射到类型和值(类型化环境)并且这样可以被Haskell型系统所理解. C的Boost.Fusion库具有这样的结构(type-值映射,类型值的向量

我一直在使用GADTs创建一个完全类型的DSEL,并使用完全类型安全的AST,并且看起来,正确输入的编译器需要一些构造,例如 Haskell类型的映射到类型和值(类型化环境)并且这样可以被Haskell型系统所理解. C的Boost.Fusion库具有这样的结构(type->值映射,类型值的向量等). Data.Tuple负责处理序列,但是有一些Haskell版本的Boost.Fusion映射？

解决方法

看看 dependent-map包.我没有使用它,但它似乎做你要求的.如果您需要真正使用类型(和类型)相等,则可能需要同意默认值或使用TypeRep作为键.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!