который уже можно оттранслировать в инструкции ассемблера

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

а полиморфный вариант можно дергать только  1) во время компиляции, как делают Rust, C++ и другие  2) если у тебя есть рантайм который может динамически интерпретировать функцию

у меня в виртуальной машине LLST так и было сделано

Ага, суть в том что не потерять производительность функции это и будет мономорфизация. А генерики это пример реализации

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

угу. генерики это язык. а мономорфизация — конкретный вариант его использования

👍👍👍👌

Здорово. Так и законспектирую)

https://github.com/0x7CFE/llst/pull/92 вот пример где это используется

https://raw.githubusercontent.com/gist/0x7CFE/689d40589797332ef46a0d692fc7eaa6/raw/6d22e6b464b7a28f06f56df80d225a6d8e7a9471/sort_callgraph.svg вот в этой svg-шке видно что VM пытается вывести типы и заменить виртуальные вызовы реальными

в итоге процессор знает что делать с этим кодом и как его быстро выполнять.

в случае динамической диспетчеризации, вся машинерия по предсказанию переходов и предзагрузке конвейера по сути простаивает

Прикольно, я возможно даже понял svg-шку

Мономорфизация это способ обработки генериков компилятором, когда компилятор создаёт на каждый конкретный входной тип свою функцию, то есть
fn id<T>(s: T) -> T {
 s
}
id(1);
id("foo");
После мономорфизация превратиться в
fn id_i32(s: i32) -> i32 {
 s
}
fn id_str(s: &str) -> &str {
 s
}

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

@sadlonelysoul а ты говорил: вон люди сами хотят чтобы их критиковали:
https://t.me/rust_beginners_ru/62178

Кто шарит в разработке сервисов с несколькоими интерфейсами? Я собрался делать сервис-актер, через Actix.

Пока планирую сделать интерфейса rpc(grpcio) и rest(actix-web).
Как это примерно должно выглядить в ресте? Типо я получаю нужные данные через экстракторы и сразу сую в другого актера? Между Service и Rest актерами собираюсь сделать опционального AuthorizationActor для создания Authorized<T> сообщений. Между REST и SERVICE. (тоже самое сделаю для rpc).
Остальные данные будут валидицироваться на SERVICE актере, после отправляться в другие, например DBExecutorActor.

Нормальная конструкция?

Что то типо:

rest -> service.
rest -> authorize actor -> service.
rpc -> service.
rpc -> authorize actor -> service.

меня смущает то, как это будет выглядить на самом actix-web, по сути обычный копипаст