Open eisterman opened 6 years ago
Is a good idea define a trait alias or is needed a reimplementation like Real?
Well there could be trait for integers, but I have just been using traits from num-traits
for those.
Not sure what would be the best for it.
num-traits
isn't giving the same level of abstraction of a RingCommutative
that now I use as generical integer trait
There is a
Real
trait but not a ready-to-useInteger
trait. Now I'm using theRingCommutative
trait to define the classical integer number set, but there is no motivation for not introduce an alias traitInteger
.Am I missing something?