from into

уже есть же

Какой?

Это не as

Ты ж понимаешь что не во все можно кастить этим оператором

да

бля это не суть

трейт имплементирует только i32

но раст не может это определить

Ну тогда сделай чтоб трейт наследовал From<i32> или какого типа там у тебя тройка

это не изменит отсутствия фичи

но раст не может это определить

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

Это тебе не шаблоны с++ где все разруливается на месте

но это же конкретный кейс когда разруливается (но всегда ошибка)

вообще какой-нибудь трейт PrimitiveCast<Self, To> в std по-сути мог бы быть?

Ещё раз, Раст не гадает на картах. Типаж это ограничение, ты задаешь ограничения на входные параметры, и используешь потом только эти ограничения. Не для каждого возможного типа реализующего типаж есть as

ни для какого

вообще какой-нибудь трейт PrimitiveCast<Self, To> в std по-сути мог бы быть?

Не мог, зачем? Слишком мало примитивного каста

что значит "зачем"

я про возможность существования а не нужду в таковом

В вселенной где в СТД либу бы пихали лефтпады на все случаи жизни мог бы существовать PrimiticeCast<T> для такого, но мы, к счастью, живём не в этом мире

нубский вопрос: traits в Rust это что-то вроде typeclasses из Haskell'я?

В вселенной где в СТД либу бы пихали лефтпады на все случаи жизни мог бы существовать PrimiticeCast<T> для такого, но мы, к счастью, живём не в этом мире

очень глупый довод

нубский вопрос: traits в Rust это что-то вроде typeclasses из Haskell'я?

да, но первый аргумент (Self) всегда имплицитен

спасибо

да, но первый аргумент (Self) всегда имплицитен

Тогда зачем ты его явно написал?

че

Ты говоришь, что Self как тайп параметр - не явен

имплицитен и не явно передается

какая-то попытка придраться к терминологии

трейт имплементирует только i32

в чем тогда смысл generic'а?

нету

просто написал минимальный пример

ну по примеру не понятно зачем эта фича вообще нужна

В чем проблема их перевезти с собой?

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

О, ёлку после рождества кто-то выкинул

Не был в чате около двух недель. Раст по прежнему игрушечный?

да

Не был в чате около двух недель. Раст по прежнему игрушечный?

Нет, уже все изменилось

Так да или нет? :/

https://www.reddit.com/r/rust/comments/7lu6di/mrustc_alternate_rust_compiler_in_c_now_broken/

Раст теперь может скомпилить с фичей ub

https://www.reddit.com/r/rust/comments/7lu6di/mrustc_alternate_rust_compiler_in_c_now_broken/

Значит всё ещё игрушечный. Очень хорошо, а то боялся, что что-то важное пропущу.

Нет же, какие игрушки тут

Тут ентрерпрайз

Раст теперь может скомпилить с фичей ub

Енто жи андевайнед бихейвиор? Т.е. его теперь его можно ещё проще сломать, прям как игрушку?

Нет же, какие игрушки тут

Сорян если чо, я просто фронтендер, а не программист.

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

Енто жи андевайнед бихейвиор? Т.е. его теперь его можно ещё проще сломать, прям как игрушку?

Нет, это теперь он сломает тебя

Прям как с++

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

Сегодня было заседание. Два часа назад кончилось

нубский вопрос: traits в Rust это что-то вроде typeclasses из Haskell'я?

"Типаж" называется

Нет, это теперь он сломает тебя

Как грубо(

Сорян если чо, я просто фронтендер, а не программист.

🤨🤣

"Типаж" называется

это что же, значит и в плюсах есть типажи? ибо в шаблонном программировании всякое называеют trait'ами.

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

Как

fn main() { break rust; }

это что же, значит и в плюсах есть типажи? ибо в шаблонном программировании всякое называеют trait'ами.

плохо, что "всякое" называют

Но вообще, в крестах концепты

причем здесь концепты 🤔

Эм. Что значит "причём"?

коньцептов пока что нету.

Это да. Опять не включили

Так что раст чуток ещё поживёт

а так.. вот вам traits: https://erdani.com/publications/traits.html

https://accu.org/index.php/journals/442

причем здесь концепты 🤔

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

в C++ есть CRTP на котором ваши трейты еще в 98 реализовывали

в C++ есть CRTP на котором ваши трейты еще в 98 реализовывали

каким это боком?

Я ведь правильно понимаю, что концепты просто избавляют от синтаксических хаков уровня SFINAE, но всё ещё не умеют ни выводиться, ни чекаться на достаточность?

Когда мы говорим про типажи, это всегда два пункта: (а) ограничения, (б) особая статическая диспетчеризация.

Первое заменяется на интерфейсы. Второе (частично) на явные вызовы функций

боком раздувания бинарника и генерирования кода для каждого случая

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

боком раздувания бинарника и генерирования кода для каждого случая

Покажи, как с помощью crtp (который, кстати, не изобретение С++, в любом ЯПе с genericом есть такой подход и без названия) добавить метод уже существующему классу?

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

нет

а где это написано?

Миксин становится частью контруируемого объекта, и диспетчеризация будет соответственная (динамическая, через vtable какой-то)

в расте есть генерики, как в расте CRTP сделать?

наследования то нету

crtp?