Size: a a a

2020 February 16

AZ

Alex Zhukovsky in rust_offtopic
я тебе показал две стрелки из () в обжект
источник

G

Gymmasssorla in rust_offtopic
Аа
источник

G

Gymmasssorla in rust_offtopic
Но смотри
источник

G

Gymmasssorla in rust_offtopic
fn lol(i: i32) -> () {}
fn lol2(i: i32) -> () {}
источник

G

Gymmasssorla in rust_offtopic
ЧЯДНТ?
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
fn lol(i: i32) -> () {}
fn lol2(i: i32) -> () {}
это одна и та же стрелка
источник

AZ

Alex Zhukovsky in rust_offtopic
называется по-разному
источник

AZ

Alex Zhukovsky in rust_offtopic
понять одна эта стрелка или нет можно сравнив все входы и выходы функции
источник

AZ

Alex Zhukovsky in rust_offtopic
то есть если \any x a(x) == b(x) <=> a == b
источник

G

Gymmasssorla in rust_offtopic
То есть в Hask определена операция сравнения морфизмов?
источник

AZ

Alex Zhukovsky in rust_offtopic
да
источник

AZ

Alex Zhukovsky in rust_offtopic
точнее логично предположить, иначе все наши утверждения про единственность функций становится мусором
источник

AZ

Alex Zhukovsky in rust_offtopic
если говорить точнее, то под равенством подразумевается изоморфизм
источник

AZ

Alex Zhukovsky in rust_offtopic
изоморфизма между 5 и 6 нет
источник

G

Gymmasssorla in rust_offtopic
Ну теперь понятно почему Object - не терминальный объект, спасибо
источник

AZ

Alex Zhukovsky in rust_offtopic
источник

G

Gymmasssorla in rust_offtopic
Я думал, что функции с одними и теми же входами и выходами разные в Hask, в этом ошибка была
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Я думал, что функции с одними и теми же входами и выходами разные в Hask, в этом ошибка была
ну, там же говорят про единственность id морфизма например?
источник

AZ

Alex Zhukovsky in rust_offtopic
чтобы говорить про единственность нужно иметь возможность сравнивать)
источник

AZ

Alex Zhukovsky in rust_offtopic
так что да, функции которые не отличаются по входам-выходам не различаются
источник