Experimental imperative programming language for scientific computing. Its distinguishing feature is a type system for reasoning about numerical values with physical units.