Lib.rs

Numbat具有静态类型系统，其中物理尺寸（如Length和Time）作为类型。常量和函数的定义可以包含类型注解，这些注解将进行静态强制执行。如果未指定类型，则将进行推断（屏幕截图中的Speed、Money和Frequency）。

请参阅这篇文章以了解更多关于Numbat类型系统的信息。

numbat专注于具有单位的计算。因此，单位被视为一等公民。它们可以用多种方式输入（例如：km/h或kilometer/hour、GiB或gibibytes、°或degree、m²或m^2）。可以就地引入新单位（例如：unit pixel）。兼容的单位可以轻松转换使用->运算符（例如：30 km/h -> mph、1 mrad -> degree、5 in + 2 ft -> cm、27 weeks -> days）。并且使用各种启发式算法简化单位表达式（例如：15 km/h * 30 min = 7.5 km）。

Numbat的标准化库包含大量的物理维度和单位（SI、US Customary、Imperial、Nautical、Astronomical、Atomic、Nuclear等）。请参阅此参考页面以获得完整概述。它还包含大量的数学和物理常数以及一系列预定义函数。

Numbat的解析器永远不会试图对语法错误的输入“聪明”。这意味着你将得到一个（描述性的）错误消息，或者你可以信任你的计算结果。

Numbat的目标是提供描述性和有帮助的错误信息。

Numbat被设计用于交互式用例，进行小型的“一次性”计算。在没有参数的情况下打开numbat解释器将启动一个REPL，具有熟悉的readline界面，包括命令历史、Ctrl-R搜索或tab补全等所有常规功能。

物理维度和单位的整个系统由Numbat的标准化库指定，该库是用Numbat语言本身编写的编写的。因此，通过提供init.nbt文件可以轻松扩展。例如，只需一行（例如：unit bathtub = 150 L）就足以添加新单位。用户甚至可以选择编写自己的prelude模块，从而可以对单位系统进行任意修改。

凭借其静态类型系统，Numbat已经在物理维度层面上强制执行了计算的正确性。但有些检查只能在运行时进行。Numbat提供了一个assert_eq过程，允许您使用assert_eq(12 ft, 1 in)来检查精确相等，或者使用assert_eq(c, 300_000 km/s, 1% × c)来检查近似相等。这可以在您对计算进行重构时确保中间结果不会改变。

Numbat是一个科学计算器。它不是一个求解微分方程或计算积分的计算机代数系统。请尝试WolframAlpha。
没有像x²、1/x或DEG/RAD这样的按钮的图形用户界面。请尝试Qalculate!，这是一个支持文本和图形输入的出色工具。
Numbat支持大量物理单位。如果您需要更全面的单位，请考虑做出贡献。或者尝试GNU units。