не ну меня трейты раста как-то разочаровали

все думал, что это как тайпклассы, а потом почитал отрывок из книги по расту

Дык поправь, чо.

я просто на нее не линкую

все думал, что это как тайпклассы, а потом почитал отрывок из книги по расту

а что кроме хкт там отсутствует

да дело не в хкт, сам синтаксис какой-то странный какой-то self, не понятно, где переменные типов (и че, тогда будет self2, если две переменные)? Че вообще за селф? Это интерфейсы что ли?

ват

self это сахар для self: Self

вот хочу я сделайть трейт для Cast a b where cast :: a -> b

trait Cast<A, B> { fn cast(A) -> B; }

во, вот это норм выглядит, а в книге какая-то херня

то есть self в принципе можно не использовать?

все нормально в книге

зачем он вообще?

почему не trait Animal<T> { // Static method signature; Self refers to the implementor type. fn new(name: &'static str) -> T; // Instance method signatures; these will return a string. fn name(&self: T) -> &'static str; fn noise(&self: T) -> &'static str; // Traits can provide default method definitions. fn talk(&self: T) { println!("{} says {}", self.name(), self.noise()); } }

зачем он вообще?

чтобы брать тип к которому имплементирован трейт

здесь лишнее повторение типа в твоем коде

так это главное различие интерфейсов от тайпклассов - у тайпклассов нет “типа, к которому они имплементированы”, они как шаблоны, они могут принимать в качестве аргументов 0-N типов

а если он имплементирован к генерик типу

распиши, я вопроса не понял

если T это Something<A>

а какая разница? Something<A> это уже * же

если ты про раст, то в расте же нет хкт, там не сделать трейт под A<B>, A :: * -> *, B :: k

поэтому вопроса все еще не понял

а ну мб

так это главное различие интерфейсов от тайпклассов - у тайпклассов нет “типа, к которому они имплементированы”, они как шаблоны, они могут принимать в качестве аргументов 0-N типов

на практике это различие ничего не говорит

по факту то, что в раст ввели Self, говорит о том, что авторы хотели именно продвинутые интерфейсы, а не тайпклассы

с чего бы

потому что у тайпклассов нет такого понятия как self, повторюсь, а вот у интерфейсов есть

да нет

в расте просто первый аргумент имплицитен

FromInt a where fromInt :: Int -> a будет так выглядеть: trait FromInt { fromInt(x: Int) -> Self; }

impl<T, U> Something<T> for U { // всякая такая дичь }

в расте просто первый аргумент имплицитен

что и является фишкой интерфейсов

trait Cast<A, B> { fn cast(A) -> B; }

так, я не понял, а тут Self где? Он уже не имплицитный? Или он все еще есть но не используется?

не используется

имея импл Cast<Int, String> я не смогу сделать 4.cast() :: String -- “4” или cast(4) :: String ?

не используется

и тебе не чувствуется этот запах?

троллишь что ли

нет, я показываю, почему трейты раста меня разочаровали как тайпклассы (но тем не менее годное решение как расширенные интерфейсы)

Cast::cast(4)

вроде

зачем он вообще?

дык точечка же

ну ещё мб этот сэлф связан с сабтайпингом

ну короче я не говорю, что трейты плохие, только меня коробит немного, когда говорят, что трейты и тайпклассы - синонимы, потому что это тупо неверно

ну короче сэлф появился из-за того что тайпклассы натягивают на ооп

пока что меня больше раздражают что выделяют новые названия на одно и то же являение

нет, я показываю, почему трейты раста меня разочаровали как тайпклассы (но тем не менее годное решение как расширенные интерфейсы)

нет, один общий признак не делает их интерфейсами

причём тайпклассы возможно не лучшее название, но кажется трейты и протоколы тоже такое

ты сам признал, что трейты селфоцентричны, то есть имеется некий главный аргумент Self и некоторые другие типы-аргументы

это и есть интерфейсы)

а в идрисе тайпклассы?

ты сам признал, что трейты селфоцентричны, то есть имеется некий главный аргумент Self и некоторые другие типы-аргументы

не главный

наверное

объясни почему главный

а в идрисе тайпклассы?

нет, интерфейсы)

мемс

я могу ошибаться, так как знаком с растом очень мало, но сделать импл для каста я так и не смог

типа такого: trait Cast<A, B> { fn cast(A) -> B; } impl Cast<i8, i8> { fn cast(x : i8) -> i8 { x } } fn main() { let x: i8 = Cast<i8, i8>::cast(2); println!("{}", x); }

почему?

потому что требуется селф, для которого будет имплементация

без него никак

а что он пишет?

а вот если сделать вокруг Self, то все норм

trait Cast<T> { fn cast(self) -> T; } impl Cast<i8> for i8 { fn cast(self) -> i8 { self } } fn main() { let x: i8 = 2; let y: i8 = x.cast(); println!("{}", y); }

а что он пишет?

impl A { } имплементирует набор функций для типа A

да

никакого impl Cast<> for _ {} я не нашел

impl<T> Cast<i8, i8> for T { fn cast(x : i8) -> i8 { x } }

хз работает или нет

работает

и вызывается через <()>::cast(2);

кек

с тем, что это плохое решение я согласен. но не согласен что это делает трейты интерфейсами из ооп языков

и вызывается через <()>::cast(2);

лол

а как с трейта вызвать?

лол

можно даже <!>

что значит с трейта вызвать

Cast::cast

не понял что ты хочешь

<Type as Trait>::function(receiver_if_method, next_arg, ...);

а как Eq в расте определён?

trait Pilot { fn fly(&self); } trait Wizard { fn fly(&self); } struct Human; impl Pilot for Human { fn fly(&self) { println!("This is your captain speaking."); } } impl Wizard for Human { fn fly(&self) { println!("Up!"); } } impl Human { fn fly(&self) { println!("*waving arms furiously*"); } } fn main() { let person = Human; Pilot::fly(&person); Wizard::fly(&person); person.fly(); }

pub trait PartialEq<Rhs = Self> where Rhs: ?Sized, { fn eq(&self, other: &Rhs) -> bool; }

пример из доки

пример из доки

не понял

без self такое не сделать?

не понял

Pilot::fly(&person); Wizard::fly(&person);

да причем это?

ты не понимаешь наверное что делает impl<T> . for T

ну вообще хз что он делает

как бы вот тут i8 подставляешь

и ещё зачем-то говоришь что это законно для любого T которое параметр этой реализации

кароч вот норм вариант

trait Cast<A, B> { fn cast(A) -> B; } impl Cast<i8, i8> for i8 { fn cast(x : i8) -> i8 { x } } fn main() { let a: i8 = 2; let x: i8 = <i8>::cast(a); println!("{}", x); }

ток не полиморфный небось