Size: a a a

2020 February 16

AZ

Alex Zhukovsky in rust_offtopic
смысл в том, что юнит-тип состоит из единственного значения ()
источник

AZ

Alex Zhukovsky in rust_offtopic
а обжекты состоят из забокшенных оригиналов
источник

AZ

Alex Zhukovsky in rust_offtopic
и они имеют наблюдаемую семантику - например операцию ==
источник

AZ

Alex Zhukovsky in rust_offtopic
(object) 1 == (object) 2
источник

AZ

Alex Zhukovsky in rust_offtopic
вернет false
источник

G

Gymmasssorla in rust_offtopic
В общем, я думал, что Object в C# - это терминальный объект, потому что _в_ него указывают все другие объекты - читай как "любой тип может быть преобразован в Object"
источник

G

Gymmasssorla in rust_offtopic
Так же?
источник

R

Rafael in rust_offtopic
да
источник

R

Rafael in rust_offtopic
там все объекты, в этом и беда
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
В общем, я думал, что Object в C# - это терминальный объект, потому что _в_ него указывают все другие объекты - читай как "любой тип может быть преобразован в Object"
не уверен
источник

G

Gymmasssorla in rust_offtopic
Rafael
там все объекты, в этом и беда
Раскрой мыслю
источник

R

Rafael in rust_offtopic
Gymmasssorla
Раскрой мыслю
ты можешь любой типа или функцию выразить через object
источник

R

Rafael in rust_offtopic
object о= функция или любой тип
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Раскрой мыслю
ну это типикал руганть на жабу, бывает
источник

AZ

Alex Zhukovsky in rust_offtopic
Rafael
ты можешь любой типа или функцию выразить через object
речь немного о другом шла
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Раскрой мыслю
перечитал бартоша
источник

AZ

Alex Zhukovsky in rust_offtopic
In the category of sets, the terminal object is a singleton.
источник

AZ

Alex Zhukovsky in rust_offtopic
так что в Hask обжект не является терминальным
источник

G

Gymmasssorla in rust_offtopic
singelton - это ()?
источник

AZ

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