Practical Datatype Specializations with Phantom Types and Recursion Schemes
编程语言
2007-05-23 v1
摘要
Datatype specialization 是一种子类型化，用来捕捉使用方便直观的数据类型表示法所表达的数据结构上的程序不变量。特别值得关注的是诸如良构性等结构性不变量。我们研究了使用幽灵类型来描述 datatype specialization。我们展示了在 Standard ML 的类型系统中，可以静态检查地表达 specializations 也是可能的。我们还展示，这种做法不会丢失诸如在 case 表达式中进行模式匹配等有用的编程设施。
引用
@article{arxiv.cs/0510074,
title = {Practical Datatype Specializations with Phantom Types and Recursion Schemes},
author = {Matthew Fluet and Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0510074},
year = {2007}
}
备注
25 pages. Appeared in the Proc. of the 2005 ACM SIGPLAN Workshop on ML