Scalaの型システムに既に組み込まれていることがわかっていましたが、NumericとFractionalおよびFractionalProxyを渡った後、私は方法を見つけられませんでした。ScalaのFloat、Double、およびBigDecimalを抽象化
数値モデルを抽象的に定義して、Doubles、Floats、およびBigDecimalsで動作し、FloatとDoubleの特殊化を行うことができます。
私はそれを仕事にしたようですが、多くの労力と定型文句があります。まず、そこにありますか(より)、より簡潔な方法で、より少ないkludgeyですか?次に、ビュー境界の暗黙的な変換にもかかわらず、私の値型の使用は、特殊化されたプリミティブ型のラップを防ぐ効果がありますか?
多くのありがとうございます。
object Model {
sealed trait Value[T] extends Any { //contains all the operations I use
def value : T;
def + (other : Value[T]) : Value[T];
def/(other : Value[T]) : Value[T];
def - (other : Value[T]) : Value[T];
def * (other : Value[T]) : Value[T];
def < (other : Value[T]) : Boolean;
def unary_- : Value[T];
def abs : Value[T];
}
implicit def unwrap[T](wrapped : Value[T]) : T = wrapped.value;
implicit class FloatValue(val value : Float) extends AnyVal with Value[Float] {
def + (other : Value[Float]) : Value[Float] = new FloatValue(value + other.value)
def/(other : Value[Float]) : Value[Float] = new FloatValue(value/other.value)
def - (other : Value[Float]) : Value[Float] = new FloatValue(value - other.value)
def * (other : Value[Float]) : Value[Float] = new FloatValue(value * other.value)
def < (other : Value[Float]) : Boolean = value < other.value;
def unary_- : Value[Float] = new FloatValue(-value);
def abs : Value[Float] = new FloatValue(math.abs(value));
}
implicit class DoubleValue(val value : Double) extends AnyVal with Value[Double] {
// body of FloatValue repeated, but with Double replacing Float
}
implicit class BigDecimalValue(val value : BigDecimal) extends AnyVal with Value[BigDecimal] {
// body of FloatValue repeated, but with BigDecimal replacing Float
}
}
class GrossInterestModel[@specialized(Double,Float) T <% Value[T]](zero : T) {
def runModel(a : T, b : T) : T = {
//do math here, using the operations defined in Value above
}
}
あなたはhttps://github.com/non/spireを見ていると、それはあなたのユースケースに合うかどうかを確認したい場合があります。 – huynhjl
うわー、ありがとう。尖塔は驚くほどに見える。 –
@huynhjlあなたは答えとしてあなたのコメントをコピーするべきでしょうか?私はそれをupvoteに満足しているだろう - スパイアは非常に興味深いですね。 –