静态类型检查的设计模式
我目前正在试图找出我的程序的哪些方面可以通过scala编译器进行静态类型检查。 看完这个问题后，我想出了类型设计模式的概念。 我觉得让我的头脑满意Scala的类型系统可能是非常复杂的。 所以我想看看实际的用法（不是peano算术或类似的东西）。 简单的模式经常以正常的代码重新出现。
有谁知道任何博客，甚至是处理这个问题的书吗？ 最好在Scala中，但对其他语言也可能有用。
我认为最值得称道的“设计模式”之一是“幻影类型”技术。 这是一种或多或少有系统的方式来编码静态信息的类型参数。 看一些例子：
您也可能对相关的Oleg wondertrick感兴趣：轻量级静态功能（与Chung-chieh Shan合作）。
你可以看看Haskell的设计建议，特别是一些关于在类型系统中嵌入强属性的最新研究论文：
这里还没有标准的方法论，尽管有许多很好的个别问题的例子。
链接地址: http://www.djcxy.com/p/42873.html