注释 King 参考手册/简介

King 是一种用于工程软件的高级、强类型、通用语言。此维基教科书的内容基于 King 仓库 中提供的原始作品。

由于这项工作还在进行中，当前的维基教科书应该被命名为“不完整的注释 King 参考手册”。

本维基教科书的主要目标是为 King 编程语言及其编程环境提供一些形式化。因此，未来的工具设计、库等可以依赖于强健的详细注释定义。

其中一个次要目标是提交语言定义讨论，以详细阐述一些语言增强功能。为此，每个定义都提供了一个讨论部分，用于收集建议。在达成一致后，这些建议可以应用于定义。需要注意的是，在这些新定义包含到原始作品中之前，它们不能被视为 King 语言的一部分。