https://youtu.be/XUqiMEh2PMc

Берется самый худший из наихудших и умножается на число PI/2

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

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

а как, кстати, в расте специализация устроена? Там вообще раздельная компиляция есть? Или специализации под размер делают, а не конкретный тип?

Про какую специализацию ты

fn foo(Result<A,B>) -> ..

То что через рфц для трейтов, или разные built-in для општнов

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

а, точно я не то пишу

вот Result<A,B> он же не создает boxed значений

А что значит специализация под размер?

соотвественно размер и функции работающие с ним зависят от типов A, и B

и нужна специализация под них

хотя @A64m_qb0 более правильными словами скажет, чего я влез

вот Result<A,B> он же не создает boxed значений

если правильно понимаю, нужно, чтоб A и B имплементировали Sized

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

Для этого обычно не нужна специализация

xy-promblem

Короче по специализацияи ты можешь определить специальную реализацию для более конкретного типа

как же не нужна-то

для разных размеров нужны разные конструкторы Result

та о каких размерах ты говоришь?

ну вот у нас тупл (Int,(Int,Int)) если в языке универсальное представление, то размер под пейлоад у конструктора тупла всегда размер указателя * 2

там в стек должна положиться структура одинакового размера для разных конструкторов типа почему так - не помню. здесь наверное лучше знать о таком

Sized вроде не про то

либо нам надо делать для этого случая специализацию под размер инта * 3

либо конктерную специализацию под типы

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

с Either не так интересно тк там два Boxed ссылки на разных конструкторах. так что по идее интереснее Maybe

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

специализация - это конструкция для пользователя, которая позволяет реализовать шаблон еще раз, для более частного случая

ты спрашиваешь, про memory_layout

причем тут специализация

ну я не знаю, как у вас это называется

специализация функции - это генерация кода для конкретных типов

возможно в rust специлазицией называется что-то другое, а это называется другим словом

ну или не функции, а и типа данных в т.ч.

https://ru.wikipedia.org/wiki/Параметрический_полиморфизм#.D0.9C.D0.BE.D0.BD.D0.BE.D0.BC.D0.BE.D1.80.D1.84.D0.B8.D0.B7.D0.B0.D1.86.D0.B8.D1.8F

это называется мономорфизация

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

у нас нет стабильного abi

мне интересно устройство в общих чертах

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

есть некий enum Option<T> { Some(T), None }его размер будет tag_size + Max_value_size

с размером то все понятно

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

ок, тогда не понял твой пример с (Int, (Int,Int)

сейчас это будет одинаково (Int,Int,Int)

но это не гарантировано

одинаково в каком смысле, в смысле размера?

да

ты ж про размеры спрашиваешь

ну вот есть Some(T) и в программе где мы используем его есть Some(Int) и Some(UInt) (беззнаковое целое), размер у них одинаковый значит ли это что будут генерироваться специализации Some'Int и Some'UInt или будет одна на двоих какая-то Some'Byte8

мономорфизируется для каждого типа отдельно

То, что размеры одинаковые - ничего не говорит

но это не значит, что у нас будет 500 функций, большинство из них будут инлайн.

т.е. раздельной компиляции нет, пока все типы не известны, код не сгенерировать?

у типов поведения разное обычно

да

вот это я и хотел узнать, спасибо

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

http://www.jonathanturner.org/2017/10/fun-facts-about-rust-growth.html

http://www.jonathanturner.org/2017/10/fun-facts-about-rust-growth.html

Боян

о

лол

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

еще чучуть посидишь, и будешь Фичи из 80-х обозревать

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

какие?

да какая старая

сегодня только запостили

Боян

.

да какая старая

уже кидали, значит старая

От чего ж вы так гоферов не взлюбили?

мы их любимы

мы обсуждаем го, чаще чем раст

разве - это не любовь?

От чего ж вы так гоферов не взлюбили?

У нас половые отношения

да фичи из 80 до сих пор нормально смотрятся. В го и с фичами из 70 неважно дела обстоят

мы обсуждаем го, чаще чем раст

Ну тут это ладно. Я уже сомневаюсь что это расточат

да фичи из 80 до сих пор нормально смотрятся. В го и с фичами из 70 неважно дела обстоят

Ну вродь они в своем чате ничего не форсили