Comments 15
Спасибо за статью!
Не совсем корректно, имхо, называть трейты классами типов, потому что они всё-таки немного отличаются от функциональности классов типов из хаскеля. Хотя со временем различия размываются, да — скоро в трейты добавят (если уже не добавили, не помню) множественную диспетчеризацию и ассоциированные типы. В Rust очень сильно не хватает типов высшего порядка, поэтому многие вещи, нормальные для классов типов, через трейты невыразимы.
Трюк с None, к счастью, временный — с добавлением UFCS (хотя я не уверен, что его добавят до 1.0) нужда в нём отпадёт. Кстати, емнип, это
можно переписать как
Не совсем корректно, имхо, называть трейты классами типов, потому что они всё-таки немного отличаются от функциональности классов типов из хаскеля. Хотя со временем различия размываются, да — скоро в трейты добавят (если уже не добавили, не помню) множественную диспетчеризацию и ассоциированные типы. В Rust очень сильно не хватает типов высшего порядка, поэтому многие вещи, нормальные для классов типов, через трейты невыразимы.
Трюк с None, к счастью, временный — с добавлением UFCS (хотя я не уверен, что его добавят до 1.0) нужда в нём отпадёт. Кстати, емнип, это
let n: Option<T> = None;
Float::mantissa_digits(n)
можно переписать как
Float::mantissa_digits(None::<T>)
>не следует путать с trait из Scala
А можете в двух словах пояснить принципиальное отличие? Я по приведенным примерам никаких отличий кроме синтаксиса не заметил.
А можете в двух словах пояснить принципиальное отличие? Я по приведенным примерам никаких отличий кроме синтаксиса не заметил.
В Scala trait создает новый тип или добавляется при создании типа. В отличие от интерфейсов Java он может содержать реализацию некоторых методов. Есть еще тонкости взаимодействия нескольких трейтов, которые отличают их от множественного наследования (как в C++), но это совсем в сторону от Rust :-).
В любом случае этот интерфейс не будет присутствовать в объектах, созданных с помощью исходного типа.
В Rust описание trait не создает тип (в Haskell «вид» класса типов будет «функция из типа в ограничение» Num :: * -> Constraint, в Rust виды пока не реализованы, но смысл такой же). Реализация трейта тоже не создает новый тип — новым интерфейсом будут обладать объекты старого типа.
В любом случае этот интерфейс не будет присутствовать в объектах, созданных с помощью исходного типа.
В Rust описание trait не создает тип (в Haskell «вид» класса типов будет «функция из типа в ограничение» Num :: * -> Constraint, в Rust виды пока не реализованы, но смысл такой же). Реализация трейта тоже не создает новый тип — новым интерфейсом будут обладать объекты старого типа.
Но в чем разница с функциональной точки зрения, так сказать. Какая разница, будет ли интерфейс присутствовать в объектах, создаваемых с помощью исходного типа?
Т.е. ваш пример мог быть реализован в Scala как-нибудь так: Dual extends AnyRef with Add with Sub with…
ну и соответственно дальше реализация для Dual всех методов, предоставляемых трейтами Add, Sub и т.д.
Т.е. пока только разная форма одного и того же. А вопрос скорее про функционал. Т.е. что можно сделать с типом Dual в Rust, чего нельзя сделать с ним же в Scala, или наоборот. Или может при каком-то подходе кода меньше надо писать, или ещё что-то, важное с точки зрения потребителя этих технологий.
Т.е. ваш пример мог быть реализован в Scala как-нибудь так: Dual extends AnyRef with Add with Sub with…
ну и соответственно дальше реализация для Dual всех методов, предоставляемых трейтами Add, Sub и т.д.
Т.е. пока только разная форма одного и того же. А вопрос скорее про функционал. Т.е. что можно сделать с типом Dual в Rust, чего нельзя сделать с ним же в Scala, или наоборот. Или может при каком-то подходе кода меньше надо писать, или ещё что-то, важное с точки зрения потребителя этих технологий.
Например, я поленился реализовать FloatMath, а реализовал только Float. И решил не давать исходников. Но пользователь моей библиотеки сможет реализовать FloatMath, при этом сохранив весь код, который работает с моим Dual. В Scala это делается с помощью implicits.
Еще есть отличие в использовании памяти — в ООП ссылка на таблицу методов хранится в каждом объекте, с использованием классов типов эта ссылка таскается по стеку. Но это не сейчас уже принципиально :-).
Еще есть отличие в использовании памяти — в ООП ссылка на таблицу методов хранится в каждом объекте, с использованием классов типов эта ссылка таскается по стеку. Но это не сейчас уже принципиально :-).
Очень интересно (побольше бы таких статей на Хабре!), правда слишком кратко и сжато, хотелось бы более подробно и последовательно.
А что такое «классы типов» в Go? То что там называется ключевым словом «interface» или что-то другое?
Что такое «типы высших порядков»?
А что такое «классы типов» в Go? То что там называется ключевым словом «interface» или что-то другое?
Что такое «типы высших порядков»?
Тип высших порядков, это когда параметризованный тип получает параметром другой параметризованный тип (без фиксации значения параметра). Например, тип может быть параметризован контейнером, а внутри себя создавать этот контейнер и с целыми, и со строками. Haskell поддерживает классы «шаблонов типов», параметризованных типов без параметра. Например, Monad содержет IO, Maybe, списки [] — все это еще не типы, им нужен параметр IO String, [Int] и тп.
В Go я глубоко не заглядывал. К сожалению, не могу сейчас сказать, как там описываются классы типов. Помню только, что они есть.
В Go я глубоко не заглядывал. К сожалению, не могу сейчас сказать, как там описываются классы типов. Помню только, что они есть.
А что такое «классы типов» в Go? То что там называется ключевым словом «interface» или что-то другое?
Что такое «типы высших порядков»?
Кмк, в Go нет полноценных классов типов. Например, неясно, как там сделать тот же Zero или Add, сохранив строгую типизацию. Т.е. в теории можно везде использовать object и потом приводить тип, но это уже совсем не то.
UFO just landed and posted this here
Что такое Self, не сказано (хотя догадаться можно, конечно). Сказать тем более полезно, что это отличие от классов типов в других языках.
UFO just landed and posted this here
Можно, вроде как: is.gd/mWY8hH
Sign up to leave a comment.
Числовые классы типов в Rust