G
Мы же не в Hask
Size: a a a
2020 February 16
AZ
напомню что Hask это Set с андефайнами, так что на жабу тоже распространяется
G
Мы о C#
AZ
Мы же не в Hask
Hask это по сути "категория типов в языке программирования"
G
Так, ну то, что () - это терминальный объект ясно, а почему Object не терминальный?
AZ
то что она называется в честь хаскелья не означает что она для него специфична. Это категория множеств с андефайнами
AZ
Так, ну то, что () - это терминальный объект ясно, а почему Object не терминальный?
потому что обжект это не () :)
G
public static Object intoObject<T>(t: T) {
return t;
}G
потому что обжект это не () :)
Бартош же не говорил ничего про Object. То, что () является терминальным не означает, что другие типы не могут быть терминальными
AZ
Бартош же не говорил ничего про Object. То, что () является терминальным не означает, что другие типы не могут быть терминальными
the terminal object is unique, up to isomorphism
а
Раскрой мыслю
Все типы наследуются от типа Object
AZ
если мы говорим про категорию, где типы это множества возможных значений, а морфизмы - это функции между множествами (то есть обычные функции), то терминальный объект это ()
G
the terminal object is unique, up to isomorphism
up to unique изоморфизм же
AZ
up to unique изоморфизм же
ну так покажи морфизм из () в обжект)
G
ну так покажи морфизм из () в обжект)
public static Object lol() {
return 5;
}AZ
public static Object lol() {
return 5;
}public static Object lol2() {
return 6;
}AZ
две стрелки - не терминальный
G
Сейчас найду доказательство
AZ
Сейчас найду доказательство
смотри, терминальный объект - такой, что в него идет РОВНО ОДНА стрелка из всех остальных объектов