Dv
Жмутро.
https://twitter.com/domenuk/status/1457041322817245188/photo/1
Ок, это вин.
Size: a a a
2021 November 07
c
Minoru
type-level programming went too far!
type-level programming went too far!
c
Twily
А в расте разве есть type-level списки какие-нибудь?
А в расте разве есть type-level списки какие-нибудь?
c
O01eg
Вариадиков нет
Вариадиков нет
c
O01eg
Есть hlist
Есть hlist
c
Minoru
Twily: вроде, type-level списки можно написать на чём угодно, имея возможность создать тип, параметризуемый другим типом? То есть буквально на самых простеньких дженериках или шаблонах уже можно реализовать
Twily: вроде, type-level списки можно написать на чём угодно, имея возможность создать тип, параметризуемый другим типом? То есть буквально на самых простеньких дженериках или шаблонах уже можно реализовать
c
Twily
Minoru: их ещё обходить нужно, а не только написать
Minoru: их ещё обходить нужно, а не только написать
c
Twily
И сериализовывать с небес в мир земной
И сериализовывать с небес в мир земной
c
Twily
В TypeScript там тоже, дженерики-хуерики, а спустить type-level строку к смертным нельзя.
В TypeScript там тоже, дженерики-хуерики, а спустить type-level строку к смертным нельзя.
Dv
Рефлекшен!
c
Minoru
«спускать» это вроде как отдельная задача. Ну, то есть, даже без этого они будут полезны, например как фантомные типы, чтобы пометить какой-нибудь другой тип
«спускать» это вроде как отдельная задача. Ну, то есть, даже без этого они будут полезны, например как фантомные типы, чтобы пометить какой-нибудь другой тип
c
O01eg
Twily: в typescript можно обратно, строку от простых смертных в типы через вывод отправить
Twily: в typescript можно обратно, строку от простых смертных в типы через вывод отправить
c
Twily
Ну это уже больше про вывод типов. На синглтоны не тянет.
Ну это уже больше про вывод типов. На синглтоны не тянет.
c
Twily
Но вообще мне нравится такая мономорфизация из обычных if-check-ов. Правда работает она там через раз. Если что-то чуть сложнее палки с глиной, то всё, иди нахой и морфизируй тип сам через unsafe-cast-ы.
Но вообще мне нравится такая мономорфизация из обычных if-check-ов. Правда работает она там через раз. Если что-то чуть сложнее палки с глиной, то всё, иди нахой и морфизируй тип сам через unsafe-cast-ы.
c
Twily
И если не хочет полу-безопасного boilerplate на 30 строк, то `as any` — это твой путь. Я бы даже дал этому отдельное название. «Экскрементальное программирование» например.
И если не хочет полу-безопасного boilerplate на 30 строк, то `as any` — это твой путь. Я бы даже дал этому отдельное название. «Экскрементальное программирование» например.
c
Twily
И если не хочешь полу-безопасного boilerplate на 30 строк, то `as any` — это твой путь. Я бы даже дал этому отдельное название. «Экскрементальное программирование» например.
И если не хочешь полу-безопасного boilerplate на 30 строк, то `as any` — это твой путь. Я бы даже дал этому отдельное название. «Экскрементальное программирование» например.
c
Twily
Хотя boilerplate — это очень вежливо и витиевато. Обыкновенный здоровенный костыль, которым подпирается хромая система типов.
Хотя boilerplate — это очень вежливо и витиевато. Обыкновенный здоровенный костыль, которым подпирается хромая система типов.
K
посоны, идея в жавадоках картинки показывает
K
