Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 14:19
    erikerlandson closed #221
  • 07:37
    scala-steward opened #221
  • Nov 28 13:51
    erikerlandson closed #218
  • Nov 28 13:30
    erikerlandson closed #220
  • Nov 28 13:30
    erikerlandson closed #219
  • Nov 28 05:35
    scala-steward opened #220
  • Nov 22 05:18
    scala-steward opened #219
  • Nov 01 15:44
    scala-steward opened #218
  • Oct 27 16:53
    erikerlandson closed #217
  • Oct 27 16:15
    scala-steward opened #217
  • Oct 24 02:42
    erikerlandson closed #216
  • Oct 24 02:38
    erikerlandson closed #215
  • Oct 24 02:38
    erikerlandson closed #214
  • Oct 24 00:18
    scala-steward opened #216
  • Oct 23 22:14
    scala-steward synchronize #214
  • Oct 23 21:04
    erikerlandson closed #213
  • Oct 06 18:48
    scala-steward opened #215
  • Oct 02 22:53
    scala-steward opened #214
  • Sep 28 04:14
    scala-steward opened #213
  • Sep 04 13:39
    erikerlandson closed #212
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.