QualaLLVM/Clang 的類型修飾符

Quala 是一個增加覆蓋類型系統(tǒng)到 LLVM 和 Clang 的實驗，它的靈感來自于 JSR-308 和 Checker Framework

用戶定制化的類型系統(tǒng)讓不用黑進編譯器來增加一個可選的語言選項成為可能。世界上有很多關(guān)于幫助識別特定問題的一次性類型系統(tǒng)的想法，例如 SQL 注入，但是把這些整合進一個語言規(guī)范或者編譯器中是不可行的。誰愿意去處理成百上千個他根本不用的類型系統(tǒng)擴展呢？

Java's JSR-308 發(fā)明了一個處理這個問題的一個十分聰明的方案：讓類型系統(tǒng)可插拔。增加語言對任意類型注解的支持，然后讓用戶在為他們想要的系統(tǒng)中提供類型規(guī)則的庫中加載。