> Numbat is a programming language that aims to provide a convenient way to perform computations with physical units. One of the main goals of the language is to help users write _correct_ programs. It has a static type system where _physical dimensions_ act as types. The expression `3 months`, for example, has a _type_ of `Time`. Similarly, the expression `2 years` also has a type of `Time`. The compound expression `3 months + 2 years` is therefore well-typed. https://numbat.dev/articles/intro.html