Исправление korvin_, (текущая версия) :
Так ты же Real назвал дженериком. Хочешь дженерик, пиши
(: f (All (a) (-> a a)))
Полагаю, имелось в виду что-то вроде
myadd : (t <: Real) => t -> t -> t
Т.е. для любого типа t, являющегося (подтипом) Real. При этом, для каждого конкретного t генерируется специализированый код, а не используется один общий для всех Real.
Исходная версия korvin_, :
Так ты же Real назвал дженериком. Хочешь дженерик, пиши
(: f (All (a) (-> a a)))
Полагаю, имелось в виду что-то вроде
myadd : (t <: Real) => t -> t -> t
Т.е. для любого типа t, являющегося (подтипом) Real. При этом, для каждого конкретного t генерируется специализированый код, а не общий для всех Real.