Introducing Numbat: A programming language with physical units as types - eviltoast
Introducing Numbat: The type system
numbat.dev
Introduces the programming language Numbat and its type system
  • Turun@feddit.de
    2·
    1 year ago

    I wonder if it would be possible with rust’s macro system?

    I don’t know, but maybe check out numbat, it’s a new scientific calculator that is written in rust.