F#的测量单位是否独一无二？

我正在阅读安德鲁·肯尼迪关于F#测量单位的博客文章系列,它在很多情况下都很有意义.还有其他语言有这样的系统吗？

编辑:为了更清楚,我的意思是灵活的测量系统单位,您可以任意定义自己的.

TI-89 BASIC是否计算在内？输入54_kg * (_c^2),它将以焦耳为您提供答案.

除此之外,我不记得任何内置它的语言,但任何具有体面OO的语言都应该让你自己动手.这意味着其他人可能已经做过了.

谷歌确认.例如,这是Python中的一个. __repr__可以很容易地修改,以选择最合适的派生单位等.

CPAN有几个用于Perl的模块:Physics :: Unit,Data :: Dimensions,Class :: Measure,Math :: Units :: PhysicalValue,以及一些将转换但不真正将值与单位组合在一起的其他模块.

Nemerle在2006年有编制检查的计量单位.

http://nemerle.org

http://nemerle.org/forum.old/viewtopic.php?t=265&view=previous&sid=00f48f33fafd3d49cc6a92350b77d554

C++以boost :: units的形式拥有它.