- 授权协议: 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 发明了一个处理这个问题的一个十分聪明的方案:让类型系统可插拔。增加语言对任意类型注解的支持,然后让用户在为他们想要的系统中提供类型规则的库中加载。
首席产品官1 从新手到行家
车马 / 机械工业出版社 / 2018-9-25 / 79
《首席产品官》共2册,旨在为产品新人成长为产品行家,产品白领成长为产品金领,最后成长为首席产品官(CPO)提供产品认知、能力体系、成长方法三个维度的全方位指导。 作者在互联网领域从业近20年,是中国早期的互联网产品经理,曾是周鸿祎旗下“3721”的产品经理,担任CPO和CEO多年。作者将自己多年来的产品经验体系化,锤炼出了“产品人的能力杠铃模型”(简称“杠铃模型”),简洁、直观、兼容性好、实......一起来看看 《首席产品官1 从新手到行家》 这本书的介绍吧!
