Как сделать код, используя Value[T: Numeric], более "гибким", чем "распакованные" аналоги?

Question

Если у меня есть код как 5 * 5.0 результат конвертируется в наиболее точный тип, Double,

Но это не похоже на работу с кодом, как

case class Value[T : Numeric](value: T) {
    type This = Value[T]
    def +(m: This) = Value[T](implicitly[Numeric[T]].plus(value, m.value))
    ...
}

implicit def numToValue[T : Numeric](v: T) = Value[T](v)

Есть ли способ сделать такие вещи, как someIntValue + double работа, где someIntValue является Value[Int] а также double является Double?

PS: извините за далеко не идеальный титул. Я благодарен за предложения по улучшению формулировки...

Answer 1

Вы можете сделать это (с большой занятостью), создав неявные операторы:

abstract class Arith[A,B,C] {
  def +(a: A, b: B): C
  def -(a: A, b: B): C
  def *(a: A, b: B): C
  def /(a: A, b: B): C
}
implicit object ArithIntLong extends Arith[Int,Long,Long] {
  def +(a: Int, b: Long) = a+b
  def -(a: Int, b: Long) = a-b
  def *(a: Int, b: Long) = a*b
  def /(a: Int, b: Long) = a/b
}
...
def f[A,B,C](a: A, b: B)(implicit arith: Arith[A,B,C]) = arith.*(a,b)


scala> f(5,10L)
res46: Long = 50

но вам действительно нужно сделать больше, так как вам нужен числовой эквивалент только для A и B, и асимметричные операции должны быть определены в обоих направлениях. И не очень практично специализироваться, учитывая, что здесь задействованы три типа.