Show HN: Numbat – A programming language with physical dimensions as types

https://numbat.dev/articles/intro.html

Discussions: https://discu.eu/q/https://numbat.dev/articles/intro.html

#programming #rustlang

Introducing Numbat: The type system

Introduces the programming language Numbat and its type system

@programming_discussions oh cool. I saw something like this a while back implemented as a Python library somewhere in the astropy universe. I'm curious how to manage the type checker when considering "unexpectedly" equivalent types. Eg, conservation laws or einsteins equation (with and without momentum). Also, if the notion of an infinitesimal can/should be captured as a type.