一种用于科学计算的静态类型编程语言，具备对物理单位和维度的全面支持。
A statically typed programming language for scientific computations with first class support for physical dimensions and units
