Quala 是一个增加覆盖类型系统到 LLVM 和 Clang 的实验,它的灵感来自于 JSR-308 和 Checker Framework
用户定制化的类型系统让不用黑进编译器来增加一个可选的语言选项成为可能。世界上有很多关于帮助识别特定问题的一次性类型系统的想法,例如 SQL 注入,但是把这些整合进一个语言规范或者编译器中是不可行的。谁愿意去处理成百上千个他根本不用的类型系统扩展呢?
Java’s JSR-308 发明了一个处理这个问题的一个十分聪明的方案:让类型系统可插拔。增加语言对任意类型注解的支持,然后让用户在为他们想要的系统中提供类型规则的库中加载。