AZ
я тебе показал две стрелки из () в обжект
Size: a a a
2020 February 16
G
G
Но смотри
G
fn lol(i: i32) -> () {}
fn lol2(i: i32) -> () {}G
ЧЯДНТ?
AZ
fn lol(i: i32) -> () {}
fn lol2(i: i32) -> () {}это одна и та же стрелка
AZ
называется по-разному
AZ
понять одна эта стрелка или нет можно сравнив все входы и выходы функции
AZ
то есть если \any x a(x) == b(x) <=> a == b
G
То есть в Hask определена операция сравнения морфизмов?
AZ
AZ
точнее логично предположить, иначе все наши утверждения про единственность функций становится мусором
AZ
если говорить точнее, то под равенством подразумевается изоморфизм
AZ
изоморфизма между 5 и 6 нет
G
Ну теперь понятно почему Object - не терминальный объект, спасибо
G
Я думал, что функции с одними и теми же входами и выходами разные в Hask, в этом ошибка была
AZ
Я думал, что функции с одними и теми же входами и выходами разные в Hask, в этом ошибка была
ну, там же говорят про единственность id морфизма например?
AZ
чтобы говорить про единственность нужно иметь возможность сравнивать)
AZ
так что да, функции которые не отличаются по входам-выходам не различаются