AZ
ну с регистрацией да, нужен динтрейт
Size: a a a
2020 August 14
AZ
но это изначально странная постановка
AZ
на хлистах можно без dyn это сделать
CD
ну с регистрацией да, нужен динтрейт
ага, но собственно у нас есть точное место, где возникает открытый динамический полиморфизм и интерфейсы
AZ
ага, но собственно у нас есть точное место, где возникает открытый динамический полиморфизм и интерфейсы
можно без dyn сделать все равно
CD
можно без dyn сделать все равно
как?
CD
фактическая реализация может подгружаться динамически как плагин
CD
для одной отдельно взятой программы мир можно закрыть, но при общении с соседом уже нет
Т8
Т8
Переслано от Roman na
правильно и они дерьмо - это раз. Два они generic и на них просрано тысячи времени, которое бы потратилось на их ещё большую оптимизацию
AZ
если на пальцах то у тебя регистрация имеет вид:
и в конце регистрации у тебя получается матрёшка которая знает про все зарегистрированные типы статически.
Для всяких плагинных систем офк это не работает, но мало кто пишет плагинные системы
fn register<T, TCurrentState>(...) -> Cons<T, TCurrenState>и в конце регистрации у тебя получается матрёшка которая знает про все зарегистрированные типы статически.
Для всяких плагинных систем офк это не работает, но мало кто пишет плагинные системы
Т8
царь топ
SP
Т-34 85
царь топ
мне так приятно что наша армия почитателей царя растет
SP
весь оффтопик должен быть за царя
SP
все снг
CD
если на пальцах то у тебя регистрация имеет вид:
и в конце регистрации у тебя получается матрёшка которая знает про все зарегистрированные типы статически.
Для всяких плагинных систем офк это не работает, но мало кто пишет плагинные системы
fn register<T, TCurrentState>(...) -> Cons<T, TCurrenState>и в конце регистрации у тебя получается матрёшка которая знает про все зарегистрированные типы статически.
Для всяких плагинных систем офк это не работает, но мало кто пишет плагинные системы
тут вопрос хотим ли мы использовать выражения закрытого мира просто потому, что множество всех типов в нашей программе всегда можно перечислить
AZ
тут вопрос хотим ли мы использовать выражения закрытого мира просто потому, что множество всех типов в нашей программе всегда можно перечислить
а ты обычно не хочешь регистрировать всё подряд, ты регистрируешь конкретные обработчики на конкретные вещи
CD
если на пальцах то у тебя регистрация имеет вид:
и в конце регистрации у тебя получается матрёшка которая знает про все зарегистрированные типы статически.
Для всяких плагинных систем офк это не работает, но мало кто пишет плагинные системы
fn register<T, TCurrentState>(...) -> Cons<T, TCurrenState>и в конце регистрации у тебя получается матрёшка которая знает про все зарегистрированные типы статически.
Для всяких плагинных систем офк это не работает, но мало кто пишет плагинные системы
главное другое - у открытой динамической сущности есть чёткое место возникновение, это функция, мапящая рантайм данные на объекты разных типов, поэтому у нас есть основная точка возникновения рантаймовых интерфейсов
CD
а весь остальной код не обязан быть связанным именами сущностей
AZ
главное другое - у открытой динамической сущности есть чёткое место возникновение, это функция, мапящая рантайм данные на объекты разных типов, поэтому у нас есть основная точка возникновения рантаймовых интерфейсов
в 99% проектов регистрация выглядит так