155
Introducing Numbat: A programming language with physical units as types (numbat.dev)
submitted 2 years ago by [M] to c/programming@programming.dev
23 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 5 points 2 years ago (1 child)

The web page says other libraries implement units whereas they implement dimensions. 1 cm and 1 inch has the same dimension, namely length, and you are able to add them together and get a correct result. seems nice. I don't know if it'll have any practical benefit but I like it.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 3 points 2 years ago* (last edited 2 years ago)

    I can't talk about the other libraries but the uom crate does the same thing.

    The dimensions are encoded as a vector of generics, allowing you to get the correct unit even when dividing a distance by time for example.

    It's quite the clever use of Rusts type system.

  • permalink
  • fedilink
  • source
  • parent