Аргумент общего типа, проверяемый параметром класса, может быть взломан, лучше?

Рассмотрим класс:

Как проверить (универсальный (универсальный аргумент))?

Фон (что мы недействительно надо беспокоиться)Это вопрос, полученный изПостроить родовое дерево с наследованием , Я открываю этот вопрос как отдельный вопрос...

Написание алгебраического типа данных в Scala

В Хаскеле я могу определить

Абстрактные типы против параметров типа

В каких ситуациях абстрактные типы следует предпочитать параметрам типа?

Частично специализируется на нетипичных параметрах шаблона неправильного типа

Учтите следующее:

параметры типа и числовое расширение

Как мы знаем, мы можем добавить (вычесть / умножить / и т. Д.) Два числа разных

@Spartan Сейчас уже 15;)

 в блоге по ссылке и уже видел ответ Даниэля выше.

аюсь создать класс Vector, который является общим для всех числовых типов. моей первоначальной попыткой было написать класс для всех типов, например так: class Vector3f(val x:Float, val y:Float, val z:Float)Поскольку Scala поддерживает ...

, Посмотрим, решит ли команда Scala это исправить.

тировать: ошибка, которая вызвала этот вопростеперь исправлено [https://issues.scala-lang.org/browse/SI-4237]. В справочнике Scala я могу прочитать (стр. 86): Интерпретация присваивания простой переменной x = e зависит от определения x. Если x ...

@TimC, вы правы, он работает только с одним типом без встроенного, какой бы тип ни использовался первым, кажется, что тип выводит использует его в первый раз, чтобы исправить типы для всего приложения

аюсь определить универсальный оператор сложения для класса-оболочки. Пока у меня есть это: (упрощенно из фактического кода) type Wrap<'a> = | Wrap of 'a static member inline (+) (Wrap x, Wrap y) = Wrap (x + y) let inline addSelf x = x + xи ...