SS
Size: a a a
2020 June 01
SS
Я не помню
SS
Мономорфизация это када у тебя есть функция
fn func(x: T) -> R {}
А ты хуяк и начинаешь копипастить это все на все допустимые типы, которые нужны
fn func(x: T) -> R {}
А ты хуяк и начинаешь копипастить это все на все допустимые типы, которые нужны
Я знаю
SS
Подстановка грубо говоря
JC
Вот это мономорфизация
JC
Это работает очень быстро, потому что возможности оптимизации и инлайнинга просто нереальные.
Но время компиляции и размер бинарь растет на порядок.
Но время компиляции и размер бинарь растет на порядок.
q
Ладно, позже почитаю и уточню
q
Ну похоже на полиморфизм
q
Да ...
JC
Полиморфизм это абстракция
JC
А мономорфизация это прям реализация, как она есть
SS
Полиморфизм это абстракция
Не задумывался, кстати, они ведь из одного семейства...
JC
В питоне полиморфизм реализуется тем, что у тебя все типы хранят в себе таблицу методов.
А в Расте тем, что у тебя каждый раз копипастится нужная функция. (но можно и как в питоне)
И вот этот процесс этого копипастинга и называется мономорфизацией.
А в Расте тем, что у тебя каждый раз копипастится нужная функция. (но можно и как в питоне)
И вот этот процесс этого копипастинга и называется мономорфизацией.
JC
Не задумывался, кстати, они ведь из одного семейства...
🌝
q
В питоне полиморфизм реализуется тем, что у тебя все типы хранят в себе таблицу методов.
А в Расте тем, что у тебя каждый раз копипастится нужная функция. (но можно и как в питоне)
И вот этот процесс этого копипастинга и называется мономорфизацией.
А в Расте тем, что у тебя каждый раз копипастится нужная функция. (но можно и как в питоне)
И вот этот процесс этого копипастинга и называется мономорфизацией.
Понял
Ну надо закрепить будет позже
Ну надо закрепить будет позже
SS
В питоне полиморфизм реализуется тем, что у тебя все типы хранят в себе таблицу методов.
А в Расте тем, что у тебя каждый раз копипастится нужная функция. (но можно и как в питоне)
И вот этот процесс этого копипастинга и называется мономорфизацией.
А в Расте тем, что у тебя каждый раз копипастится нужная функция. (но можно и как в питоне)
И вот этот процесс этого копипастинга и называется мономорфизацией.
Втейбл
JC
Он, да.
JC
Или она)0)
q
Таблица да
JC
Хотя я когда про vtable узнал, я чет нихуя не понял зачем это.