Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Jun 14 04:54
    scala-steward opened #199
  • Jun 10 00:15
    scala-steward opened #198
  • Jun 08 16:34
    scala-steward opened #197
  • Jun 01 15:31
    erikerlandson closed #196
  • Jun 01 04:54
    scala-steward opened #196
  • May 26 22:05
    erikerlandson closed #195
  • May 26 22:04
    erikerlandson closed #194
  • May 26 22:04
    erikerlandson closed #193
  • May 26 21:54
    erikerlandson closed #191
  • May 26 21:53
    erikerlandson closed #190
  • May 26 21:49
    erikerlandson closed #189
  • May 26 18:51
    scala-steward closed #192
  • May 26 18:51
    scala-steward opened #195
  • May 23 18:11
    scala-steward synchronize #190
  • May 23 17:35
    erikerlandson closed #188
  • May 17 15:19
    scala-steward opened #194
  • May 15 12:19
    scala-steward closed #187
  • May 15 12:19
    scala-steward opened #193
  • May 14 12:41
    scala-steward opened #192
  • May 14 02:53
    scala-steward opened #191
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.