AZ
Size: a a a
2019 December 18
AZ
Судя по этой диаграммке так должно работать
KV
я правильно понимаю, что например если мы возьмем категорию целых чисел, то мы можем отобразить на конус Maybe Int, где лимитом будет Nothing?
А что конкретно должно стоять вместо буковок с картинки?
AZ
точки в I это инты, стрелки в I - какие-то функции между ними, C - Maybe Int, delta _ = Nothing, , D a = Just a
KV
точки в I это инты, стрелки в I - какие-то функции между ними, C - Maybe Int, delta _ = Nothing, , D a = Just a
Т. е. C — это категория с объектами Nothing и Just n, где n — инты? А стрелки там что
λ
точки в I это инты, стрелки в I - какие-то функции между ними, C - Maybe Int, delta _ = Nothing, , D a = Just a
А
dc ~> D тогда что?AZ
Т. е. C — это категория с объектами Nothing и Just n, где n — инты? А стрелки там что
стрелки это юниты по сути () -> a
AZ
только вместо начального объекта не () а Nothing
KV
Что такое "функции между интами" тоже непонятно. Функцию между 0 и 1 можете привести как пример?
AZ
add1 по идее подходит
A
Что такое "функции между интами" тоже непонятно. Функцию между 0 и 1 можете привести как пример?
между конечными множествами?
KV
Это функция из Int в Int, а не из 0 в 1
KV
между конечными множествами?
Никак не помогает такое описание
KV
Короче говоря, это всё какая-то чудовищная путаница, которая непонятно откуда взялась, уж извините за прямоту
AZ
Никак не помогает такое описание
ну строго говоря в том же тайпскрипте можно нулем и единицей как типами пользоваться. Но ладно, допустим я тупанул
AZ
пусть в I два объекта - Int и Float
AZ
стрелки между ними - каст в соответствующий тип
AZ
остальное остается как было
AZ
C - Maybe a, delta _ = Nothing, , D a = Just a
KV
C - Maybe a, delta _ = Nothing, , D a = Just a
Допустим, можно построить такую конструкцию. Но зачем?