История изменений
Исправление zurg, (текущая версия) :
Какое еще свойство типа rec в OCaml?
Можно ещё спецификатором обозвать т.е оно на том же уровне что и какой-нибудь const, некое дополнительное метаописание типа, интерфейсы в жабе как раз тип соответственно есть что стирать, а в рачте это по большей части сахар над параметрической типизацией:
fn add<T:Trait>(a:T , b:T) -> T {
return a + b;
}
Исходная версия zurg, :
Какое еще свойство типа rec в OCaml?
Можно ещё спецификатором обозвать т.е оно на том же уровне что и какой-нибудь const, некое дополнительное метаописание типа, интерфейсы в жабе как раз тип соответственно есть что стирать, а в рачте это по большей части сахар над:
fn add<T:Trait>(a:T , b:T) -> T {
return a + b;
}
т.е. параметрическая типизация