今天我想出了一个在Ceylon中做注释约束的极好新方法，本质上是将元模型类型（是的，我指的是元模型类型，而不是实际的元模型类型实例）作为一种查询程序元素的查询语言。这种新方法的优势是
我并没有在这里详细说明，而是直接回过头去更新了 Ceylon简介第12部分 来讨论这种新方法。你也可以从头再读一遍。
获取约束注释类型层次结构有些棘手，但幸运的是我有了Ceylon编译器的类型分析器的帮助。几个月前，我在类型分析器中实现了继承、泛型、上界类型约束和协变/逆变，但这是我第一次看到这个功能的应用。类型分析器在推理泛型类型方面已经比我聪明得多。
附言。你可能注意到，这个博客上所有示例Ceylon代码现在都有语法高亮显示。谢谢，Stéphane和Shane！
