主要观点：Numbat 是一个具有多种关键特性的工具，包括以物理维度为类型、将物理单位视为一等公民、有全面的标准库、严格的语法、优秀的错误消息、交互式终端、模块化可定制、断言等功能，同时也明确了非功能特性，如不是计算机代数系统等，并介绍了安装、开发相关内容以及联系方式。
关键信息：

• 物理维度如“Length”“Time”可作为类型，常量和函数定义可含类型注解且会被静态强制。
• 单位被视为一等公民，可多种方式输入，能轻松转换，表达式可简化。
• 标准库包含大量物理维度和单位、数学物理常数及预定义函数。
• 解析器严格，提供描述性和有帮助的错误消息。
• 有交互式终端，支持小的一次性计算。
• 系统可模块化和定制，通过提供“init.nbt”文件等方式扩展。
• 提供“assert_eq”程序进行运行时检查。
• 明确非功能特性，如不是计算机代数系统等。
• 介绍了安装 native 命令行版本的方法、开发相关操作（如运行 CLI、安装 CLI 版本、运行所有测试等）以及在开发“prelude”时的环境变量设置等。
• 提供了联系的方式，如开 GitHub 问题或讨论、加入 Discord 服务器。
  重要细节：
• 相关文章链接用于学习类型系统。
• 不同输入方式链接介绍单位输入方式。
• 引入新单位链接说明引入新单位的方法。
• 单位转换链接讲解单位转换操作。
• 标准库参考页面链接查看完整单位概述。
• 常量参考页面链接查看数学物理常数。
• 预定义函数链接查看预定义函数。
• 安装页面链接了解安装方法。
• CI/CD 链接查看持续集成/持续部署状态。
• 环境变量设置相关页面链接了解在开发“prelude”时的环境变量设置。