Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 21 22:01
    erikerlandson synchronize #285
  • May 21 19:51
    erikerlandson synchronize #285
  • May 21 17:24
    erikerlandson synchronize #285
  • May 20 18:27
    erikerlandson opened #285
  • May 20 13:39
    erikerlandson closed #284
  • May 20 04:32
    scala-steward opened #284
  • May 18 15:59
    erikerlandson closed #278
  • May 18 15:54
    erikerlandson synchronize #278
  • May 14 23:26
    erikerlandson synchronize #278
  • May 14 23:16
    erikerlandson closed #282
  • May 14 23:15
    erikerlandson closed #281
  • May 14 23:12
    erikerlandson synchronize #278
  • May 14 23:11
    erikerlandson closed #283
  • May 14 23:05
    erikerlandson synchronize #283
  • May 14 22:57
    erikerlandson opened #283
  • May 14 19:25
    scala-steward opened #282
  • May 13 18:16
    armanbilge opened #281
  • May 11 19:03
    erikerlandson synchronize #278
  • May 11 19:02
    erikerlandson closed #280
  • May 11 18:32
    erikerlandson opened #280
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.