by

Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Sep 22 00:28
    scala-steward opened #109
  • Sep 20 17:03
    erikerlandson closed #108
  • Sep 20 08:16
    scala-steward opened #108
  • Sep 08 22:48
    erikerlandson closed #107
  • Sep 08 22:36
    scala-steward opened #107
  • Sep 03 19:04
    erikerlandson closed #106
  • Sep 03 18:28
    scala-steward opened #106
  • Aug 30 19:44
    erikerlandson closed #105
  • Aug 30 04:13
    scala-steward opened #105
Erik Erlandson
@erikerlandson
Carlos Quiroz
@cquiroz
Hi, is it@possible to define a Quantity that represents a family of measurements without units?
Like Velocity or Acceleration, so I could define methods that could take a Velocity in any set of units
Carlos Quiroz
@cquiroz
Disregard my question, it is in fact part of coulomb to do this
Erik Erlandson
@erikerlandson
I had originally tried designing a concept of "abstract quantity" (duration, length, velocity, etc) explicitly into the type system, but it turned out to be far more flexible and elegant to have abstract quantities emerge naturally from the definitions of canonical form and convertability. So two unit types are of the same abstract quantity if and only if they are convertable, and also if and only if their canonical forms are the same.