Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Apr 19 22:31
    scala-steward opened #181
  • Apr 19 20:17
    scala-steward opened #180
  • Apr 18 04:16
    scala-steward opened #179
  • Apr 05 21:16
    erikerlandson closed #177
  • Apr 05 21:15
    erikerlandson opened #178
  • Apr 04 18:36
    scala-steward opened #177
  • Apr 04 16:05
    erikerlandson closed #176
  • Apr 04 12:21
    scala-steward opened #176
  • Mar 31 17:18
    erikerlandson closed #175
  • Mar 31 16:35
    scala-steward opened #175
  • Mar 30 00:45
    erikerlandson closed #173
  • Mar 30 00:18
    erikerlandson closed #174
  • Mar 30 00:17
    erikerlandson closed #172
  • Mar 29 23:58
    scala-steward opened #174
  • Mar 29 23:58
    scala-steward opened #173
  • Mar 29 23:58
    scala-steward opened #172
  • Mar 29 17:22
    erikerlandson closed #171
  • Mar 29 17:15
    scala-steward opened #171
  • Mar 17 14:33
    erikerlandson closed #170
  • Mar 17 11:16
    scala-steward opened #170
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.