Introducing Numbat: A programming language with physical units as types - eviltoast
  • kureta@lemmy.ml
    link
    fedilink
    arrow-up
    4
    ·
    1 year ago

    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.

    • Starfighter@discuss.tchncs.de
      link
      fedilink
      arrow-up
      1
      ·
      edit-2
      1 year 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.