курсор там какой-то

или еще что-то

если ты лучше знаешь, передай мне &mut [u8]

а не вектор

не понимаю твоей боли

ну пример на то и пример, что речь о более общем случае

приведи общий

приведи кейс, когда механизмы раста окажутся дырявыми

еще раз говорю, подмена реализаций типажа - это дыра в безопасности

я не говорю, что оригинальная реализация должна куда-то исчезать из чужого кода по моему велению

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

так ты говоришь о том, что ты будешь подменять её где-то вне своего кода

ну представь, что я делаю какуе-то крипту, юзаю доверенные типажи например Random который даст мне криптостойкий генератор. Вместо этого ты берешь криптостойкий генератор, и подменяешь ему реализацию на своё с целью увести пароли

нормально это?

ну это в той же степени «дыра в безопасности», в какой и newtype

Ну не скажи

реализовывать для своего типа, и для чужого это разные вещи

я дал тебе плохой генератор и получил плохой пароль

по-моему, довольно справедливо

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

что, в расте сирот нету?

есть наверное, но они об этом врядли говорят на публике

я имею в виду, в расте можно объявить инстанс только в модуле с типом или в модуле с трейтом?

что значит объявить инстанс

реализовать типаж

хороший вопрос

есть поидее ток приватные и публичные типажи

и всё

ну а смотри, еще вопрос

про скалу

вот предположим у меня есть функция fn print_into_vec(v:&mut Vec<u8>)

она не типизирована и объявлена в другом модуле, она всёравно может твой измененный врайт юзать?

или эта херня ток для женериков работает?

ну чтобы мой райт использовать, она должна принимать инстанс параметром

который конструируется от вектора и содержит все функции трейта в себе

инстанс такого класса

что за классы

поэтому если ты хочешь работать только с векторами, то можешь проимпортить нужный

что за классы

ставь класс, если в твоём языке есть структуры

она не типизирована и объявлена в другом модуле, она всёравно может твой измененный врайт юзать?

короче, скажи да или нет

что такое «не типизирована»?

ну вот видишь вектор принимает

нет там тайп параметра

ну ещё раз

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

типа не <W:Write>(v:W)

это называется “не параметризована”

ваш К.О.

то она сама проимпортит нужный ей инстанс внутри

это называется “не параметризована”

спс, сорян то я натупил

и к моему изменённому райту доступа иметь не будет

ок понятно

ну тогда это выглядит резонно, если всётаки игнорить специализацию

типа не <W:Write>(v:W)

а такая запись в скале — это синтаксический сахар)))

типа

fn print_into<T>(v:&mut T)(implicit blah: WriteStruct<T>)

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

ну так говно ваша скала

даже в трейты не может

это такая идиома, которая настолько популярна, что для неё есть свой синтаксический сахар

там есть ключевое слово trait, но означает то же самое, что в современной джаве interface

Ты мне ещё про ваши моноиды расскажи

на самом деле тоже не такой плохой пример

или «инты со сложением» и «инты с умножением» — это тоже разные типы?

да,

только надо было как в некоторых других случаях сделать один инстанс (+,0) без обертки

ну в принципе для чисел это слишком естественные операции, чтобы звучало абсурдно

вот у вектора есть sort и sort_by

значит ли это, что абстракция Ord протекает?

почему?

Ord это естественный порядок, сортировать я могу и не по порядку

когерентность инстансов для того и нужна, чтоб не протекала

т.е. не надо принимать во внимание откуда словари приехали, каким образом собрались

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

непонятно, что такое «естественный» порядок

кто-то решил, что для строк это лексикографическое сравнение

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

Реально, тебе нужны шаблоны, юзаешь что хочешь где хочешь, зато расширяемо!

Вэлком)

Привет. Затащили меня таки в эти ваши телеграмы, решил заодно в ржавые каналы добавиться, мало ли :)

О, велком