Size: a a a

TypeScript — русскоговорящее сообщество

2020 March 08

🦉⁣

🦉 ⁣ in TypeScript — русскоговорящее сообщество
Vlad Garagan
это я к тому, что преобразовать массив в union можно, а для обратного преобразования нужно где-то взять порядок.
И как следствие - вероятно, нельзя сделать такое преобразование
а, даа)
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Если сохранить порядок в списке, то можно
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Но эти вещи не изоморфны из-за фактора порядка
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Хотя union может быть выражен через typelevel heterogeneous list
источник

VG

Vlad Garagan in TypeScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
Если сохранить порядок в списке, то можно
а тип этого списка будет тот, который изначально хотелось получить?)
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Ну или сделать структуру в которой будет храниться что хочется и информация для восстановления. Но надо ли? Если задача только в одну сторону
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Это инъективная задача
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Тут не будет биекции
источник

C

Ciemna_noc in TypeScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
Но эти вещи не изоморфны из-за фактора порядка
🧐
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
?)
источник

C

Ciemna_noc in TypeScript — русскоговорящее сообщество
просто интересно было причем тут изоморфизм и фактор
источник

Ti

Time is the side effect in TypeScript — русскоговорящее сообщество
Ciemna_noc
просто интересно было причем тут изоморфизм и фактор
А еще интересно что это такое
источник

Ti

Time is the side effect in TypeScript — русскоговорящее сообщество
😁
источник

C

Ciemna_noc in TypeScript — русскоговорящее сообщество
ну это как раз и не сложно, просто интересно каким боком сюда тайпскрипт
источник
2020 March 09

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Ciemna_noc
ну это как раз и не сложно, просто интересно каким боком сюда тайпскрипт
тут тоже типы, никто не мешает строить и для них изоморфизмы
источник

C

Ciemna_noc in TypeScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
тут тоже типы, никто не мешает строить и для них изоморфизмы
вы еще тут пару теорем об изоморфизме докажите))) и теорию типов тоже, привет Галуа
источник

ЗП

Зигохистоморфный Препроморфизм in TypeScript — русскоговорящее сообщество
Ciemna_noc
вы еще тут пару теорем об изоморфизме докажите))) и теорию типов тоже, привет Галуа
а поля тут при чем?)
источник

C

Ciemna_noc in TypeScript — русскоговорящее сообщество
какие поля? теоремы об изоморфизмы действуют на группах, кольцах и алгебрах
источник

γσ

γρανδαρχτεμπλαρ🐝 σουροσικιν in TypeScript — русскоговорящее сообщество
Ciemna_noc
какие поля? теоремы об изоморфизмы действуют на группах, кольцах и алгебрах
вероятно при том что теория галуа вообще говоря известна больше в области работы с полями
источник

C

Ciemna_noc in TypeScript — русскоговорящее сообщество
γρανδαρχτεμπλαρ🐝 σουροσικιν
вероятно при том что теория галуа вообще говоря известна больше в области работы с полями
может и с полями, а делимость с остатком разве не в Эвклидовых кольцах?
источник