Lib.rs
› 关键字
#
unit
#
dimensional-analysis
#
linter
#
units
#
uom
#
dimension
#
measure
#yaiouom
关键字
搜索
yaiouom
可扩展、强类型量度单位,通过自定义类型系统(基于 F#'s 单位量度)实现,作为代码检查器
v
0.1.3
#
units
#
linter
#
dimension
#
unit
#
dimensional-analysis
#
uom
yoric/yaiouom-checker
Rust 类型系统向检查量度单位的原型扩展
GitHub
0.1.0
#
measure
#
system
#
checking
#
yaiouom
#
unit
#
units-of-measure
#
unify