Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 23:07
    scala-steward opened #190
  • 19:03
    scala-steward opened #189
  • 19:03
    scala-steward opened #188
  • 12:19
    scala-steward opened #187
  • May 10 13:56
    erikerlandson closed #186
  • May 10 07:19
    scala-steward opened #186
  • May 09 21:44
    erikerlandson closed #184
  • May 09 21:44
    erikerlandson closed #185
  • May 09 21:01
    erikerlandson closed #183
  • May 08 00:19
    scala-steward synchronize #185
  • May 08 00:02
    erikerlandson closed #182
  • May 08 00:02
    erikerlandson closed #181
  • May 03 22:11
    scala-steward opened #185
  • Apr 26 16:41
    erikerlandson synchronize #181
  • Apr 26 16:40
    erikerlandson closed #180
  • Apr 26 16:39
    erikerlandson closed #179
  • Apr 26 07:44
    scala-steward opened #184
  • Apr 21 12:43
    scala-steward opened #183
  • Apr 20 02:42
    scala-steward opened #182
  • Apr 19 22:31
    scala-steward opened #181
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.