JC
Типы это множества
Нет
Size: a a a
2020 July 24
SS
Лол, дп
JC
Тип это синтаксическая конструкция
SS
Чел
JC
Другое дело, что множеством можно выразить вообще любую сущность в нашем мире)0)
SS
Типы это аналог множества
JC
Другое дело, что множеством можно выразить вообще любую сущность в нашем мире)0)
Хотя нет, есть же всякие парадоксы рассела и вот это все
SS
Это даже не обсуждается
JC
Типы это аналог множества
Особенно в динамически типизируемых языках
SS
Особенно в динамически типизируемых языках
Они есть там
SS
Типа питон
SS
Просто там механизм, который сам их выводит
JC
Он их не выводит
JC
Выводит в Хаскеле и OCaml
JC
В Питоне ничего не выводится, оно просто эксепшены кидает, когда нет нужного элемента
SS
В Питоне ничего не выводится, оно просто эксепшены кидает, когда нет нужного элемента
Выводит компилятор
JC
И что самое главное, там их можно менять
SS
Чтобы определить что дёргать
SS
Хотя хм
JC
Выводит компилятор
В Питоне?🌝