You don't need a type system to do this. Generic operators/functions and composi...

dgb23 on March 21, 2022 | parent | context | favorite | on: Please put units in names

You don't need a type system to do this. Generic operators/functions and composite structures are sufficient and more flexible. Some languages let you encode this in type systems as well, but that's an orthogonal feature.