ZM
Size: a a a
2020 July 08
AG
Если правильно помню, то там прост очередные мысли были, а это эксперимент по ним.
не, там папир полноценный
AG
VS
он и так в схему компилится
А, это я помню, да
ZM
не, там папир полноценный
Да, но там вродь не было никаких теорий. Мож путаю.
R
спасибо, зарядил позятивом для работы!
AG
Да, но там вродь не было никаких теорий. Мож путаю.
ну у фредриксена в роке есть обобщение этой темы на индексированные манатки
AG
Homotopy Type and Homology (Oxford Mathematical Monographs) https://www.amazon.com/dp/0198514824/ref=cm_sw_r_cp_api_i_kmxbFb5S52ZD9
это не те типы :)
λ
у меня бумажная есть, с автографом авторов :)
Дай почитать
w
Дай почитать
Эх, сча бы почитать
AG
Дай почитать
бери
λ
это не те типы :)
Я вкурсе, просто мне Амазон посоветовал
AG
Я вкурсе, просто мне Амазон посоветовал
типы гомотопии это факторизованные топологические пространства
λ
бери
Занеси побратски
AG
они в хотте привязываются к n-мерным типам, но в этой книжке такого не будет
R
кстати челиксы, а вот чо делать если у меня есть некоторая АДТшка, которая торчит наружу пользователю и ее сериализация/десериализация лежит рядом с моделькой в проектике под названием апи. Стоит ли выносить отдельно сериализацию тк она является одной из возможных интерпретаций? И как жить если я захочу эту модельку сделать тфной чтобы можно было спокойно расширять? С учетом того, что нужно будет её представление в каком-нибудь жсоне наружу выдавать.
w
кстати челиксы, а вот чо делать если у меня есть некоторая АДТшка, которая торчит наружу пользователю и ее сериализация/десериализация лежит рядом с моделькой в проектике под названием апи. Стоит ли выносить отдельно сериализацию тк она является одной из возможных интерпретаций? И как жить если я захочу эту модельку сделать тфной чтобы можно было спокойно расширять? С учетом того, что нужно будет её представление в каком-нибудь жсоне наружу выдавать.
Лучше xml, можно теги на кириллице написать и сразу будет читаемо