- 授权协议: 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 发明了一个处理这个问题的一个十分聪明的方案:让类型系统可插拔。增加语言对任意类型注解的支持,然后让用户在为他们想要的系统中提供类型规则的库中加载。
Docker从入门到实战
黄靖钧 / 机械工业出版社 / 2017-6 / 69.00元
本书从Docker的相关概念与基础知识讲起,结合实际应用,通过不同开发环境的实战例子,详细介绍了Docker的基础知识与进阶实战的相关内容,以引领读者快速入门并提高。 本书共19章,分3篇。第1篇容器技术与Docker概念,涵盖的内容有容器技术、Docker简介、安装Docker等。第2篇Docker基础知识,涵盖的内容有Docker基础、Docker镜像、Dockerfile文件、Dock......一起来看看 《Docker从入门到实战》 这本书的介绍吧!
