Ниясно чего у них еул делает в репе сорцов

оно там в папке dist, заготовочка :)

оно там в папке dist, заготовочка :)

А ну тогда ок

Го обсуждают

втф

втф

Это норм в этом чате

Го обсуждают

Это чатик про го. Хейтерский чатик, но про го.

do you have X? we actually have rfc for X

do you have X? we actually have rfc for X

имхо это надо запинить

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

Для того типа, я хотел бы сделать другую реализацию

Или заимпелемнить дженерик для типа, который НЕ реализует определённый трейт?

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

🤔

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

Где про это слышно(что убрать хотят)

Для того типа, я хотел бы сделать другую реализацию

Имхо это похоже на специализацию, она вроде как тоже не стейбл

Где про это слышно(что убрать хотят)

вроде в трекинг ишью

Может в честь специализации и хотят убрать, ибо для большинства задач специализация больше подходит. Но реализация for .. все равно должна быть для разных Sync Send. Обе было бы вообще крутяк👍

а что за специализация?

ооо

в шаблонах с++ возможно специализировать шаблон для конкретного класса, и при использовании шаблона с этим классом - компилятор будет подставлять специализацию для этого класса, а не код, сгенерированный на основе общего шаблонного класса

так раньше факториал в компайл тайме считали, пока constexpr не завезли

http://ru.cppreference.com/w/cpp/language/template_specialization

и даже так

http://en.cppreference.com/w/cpp/language/partial_specialization

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

не совсем понял, без изменения существующего типа (наследоваться нельзя)?

я думал что в расте и с++ шаблоны делают одно и то же - кодогенерацию

В расте нет шаблонов, то, что выглядит как шаблоны <T> - это что-то вроде параметризации типами. Динамическая диспетчеризация без угловых скобок делается

А нет, с угловыми, их же надо в Box засунуть

А нет, с угловыми, их же надо в Box засунуть

или в обычную ссылку тогда без угловых х)

А нет, с угловыми, их же надо в Box засунуть

Box автоматически делает динамическую параметризацию?

и в угловых боксах будет не Т а Типаж, если уже на то пошло

ну может T это типаж

Box автоматически делает динамическую параметризацию?

че такое динамическая параметризация, это что-то из жаваскрипта?

ну может T это типаж

тогда предыдущее <Т> используется в неправильном констексте

не совсем понял, без изменения существующего типа (наследоваться нельзя)?

Нет, нельзя. Я про это и говорю, что у с++ единственный способ расширения функционала, это наследования, то есть "сужение типов". В расте же, ты можешь реализовать типаж, даже для встроенных библиотечных типов (И даже для тех типов о которых ты вообще не знаешь). От того композиция может быть сложнее

прикольно привязанные константы нельзя с трейт объектами использовать

https://play.rust-lang.org/?gist=97884d553177fb466b94f8c63eeaeba9&version=stable как это работает?

https://play.rust-lang.org/?gist=37def5a44d042cee5bcea77e18d8d752&version=stable или я все-таки что-то неправильно делаю?

https://play.rust-lang.org/?gist=97884d553177fb466b94f8c63eeaeba9&version=stable как это работает?

это мономорфизируется - скомпилируются две версии рендера, для квадрата и для круга

компилятор мне мономорфизирует функцию render для Circle и Square?

https://play.rust-lang.org/?gist=37def5a44d042cee5bcea77e18d8d752&version=stable или я все-таки что-то неправильно делаю?

нельзя

понятно, я думал, что будет динамически через vtable как-то

спасибо

https://play.rust-lang.org/?gist=89462ff7a583d2981ebe23a84917c584&version=stable вот так через vtable

как ты вообще себе представляешь трейбобъект с константами?

ну в vtable ссылки на них

ты путаешь константы с статиками

действительно

ну только привязанных статиков нет

ну никто и не обещал х)

но вообще я согласен, статики бы прикольнее смотрелись

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

Ну это не то, там будет лишний вызов!!!

это да. и не заинлайнить

понятно, я думал, что будет динамически через vtable как-то

https://doc.rust-lang.org/book/first-edition/trait-objects.html вот дока про динамическую диспетчеризацию

спасибо

Для того типа, я хотел бы сделать другую реализацию

Специализация, но она пока только в nightly https://aturon.github.io/blog/2015/09/18/reuse/

А шаблоны в раст планируется завозить?

Смотря что ты под шаблонами подразумеваешь

скажи зачем тебе шаблоны мы расскажем почему они не нужны в расте

обычно они заменяются макросами и генериками

на этих ваших генериках факториал можно посчитать?

на этих ваших генериках факториал можно посчитать?

На system f можно, по-моему. Но в расте ток хиндли-милнер. Встаёт вопрос: когда завезут system f?

https://crates.io/crates/typenum

Генерики тьюринг-комплит, при желании на них можно что угодно посчитать

Но проще декоратор прихуярить

Ну если тьюринг комплит то ое

Ок

Тот сочный момень

Когда неделю писал заказ к дедлайну

И вот дедлайн позади

И ты открываешь свой проект на расте

Прекрасное чувство братцы

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

Эхх

Я неделю на жс херню писал

Заебался

Просто конечно но объем большой