Ограниченные генерики

[impworks]

При описании некоторых функций бывает необходимо сделать несколько переопределений метода, различающихся сигнатурой, но имеющих абсолютно одинаковые тела. Например:

fun add:int (x:int y:int) -> x + y
fun add:float (x:float y:float) -> x + y
fun add:long (x:long y:long) -> x + y
fun add:double (x:double y:double) -> x + y

Было бы удобно возложить такую обязанность на плечи компилятора, указав ему лишь типовую переменную и список ее возможных значений:

fun add<T>:T (x:T y:T)
where T: int || float || double || long ->
    x + y

В данном случае создастся не generic-функция (для обобщенного типа T не будет переопределения оператора +), а именно 4 отдельных функции.

Соответственно, типовых переменных может быть несколько. Тогда функций в итоге будет столько, сколько возможно сочетаний типов.