Небольшая поправка: автор растовой версии вангеров не Кранк(Андрей Кузьмин, создатель оригинальной версии 98-го года), а кварк(Дмитрий Малышау, надеюсь правильно написал).
Если я не ошибаюсь, то динамический полиморфизм в Расте, не без помощи компилятора, превращается в статический.
Компилятор проходится по всему коду и "раскрывает" код для конкретных структур, которые используются разработчиком.
Грубо говоря, компилятор дублирует код, вместо разработчика, для каждой структуры и никакого динамического полиморфизма в готовой программе не остаётся.
Честно говоря, я далёк от графов и иже с ними, но, полагаю, имеется ввиду, что отрезаются варианты, которые приводят к одному решению, так как нет никакого смысла перебирать одно и то же по одному «пути» для разных вариантов, даже если используется кэширование.
Как аналогию можно взять ветки деревьев. Если идти от их концов к стволу — то более мелкие ветки сливаются в одну.
Небольшая поправка: автор растовой версии вангеров не Кранк(Андрей Кузьмин, создатель оригинальной версии 98-го года), а кварк(Дмитрий Малышау, надеюсь правильно написал).
Если я не ошибаюсь, то динамический полиморфизм в Расте, не без помощи компилятора, превращается в статический.
Компилятор проходится по всему коду и "раскрывает" код для конкретных структур, которые используются разработчиком.
Грубо говоря, компилятор дублирует код, вместо разработчика, для каждой структуры и никакого динамического полиморфизма в готовой программе не остаётся.
Заблокированный на территории РФ
Как аналогию можно взять ветки деревьев. Если идти от их концов к стволу — то более мелкие ветки сливаются в одну.