- 授权协议: MIT
- 开发语言: C/C++
- 操作系统: 跨平台
- 软件首页: https://github.com/sampsyo/quala#quala-type-qualifiers-for-llvmclang
软件介绍
Quala 是一个增加覆盖类型系统到 LLVM 和 Clang 的实验,它的灵感来自于 JSR-308 和 Checker Framework
用户定制化的类型系统让不用黑进编译器来增加一个可选的语言选项成为可能。世界上有很多关于帮助识别特定问题的一次性类型系统的想法,例如 SQL 注入,但是把这些整合进一个语言规范或者编译器中是不可行的。谁愿意去处理成百上千个他根本不用的类型系统扩展呢?
Java's JSR-308 发明了一个处理这个问题的一个十分聪明的方案:让类型系统可插拔。增加语言对任意类型注解的支持,然后让用户在为他们想要的系统中提供类型规则的库中加载。
Web Anatomy
Robert Hoekman Jr.、Jared Spool / New Riders / 2009-12-11 / USD 39.99
At the start of every web design project, the ongoing struggles reappear. We want to design highly usable and self-evident applications, but we also want to devise innovative, compelling, and exciting......一起来看看 《Web Anatomy》 这本书的介绍吧!
html转js在线工具
html转js在线工具
HEX HSV 转换工具
HEX HSV 互换工具
