VS
что значит класс на теории множеств основан?
Ну утверждал это не я. Лучше задавай автору вопрос.
Size: a a a
2020 October 22
˸A
Vlad Sobenko
Тогда очень сомнительно) Хотя верю, что так и есть. Хотелось бы реальный пример, чего нехватает
Я отсылался к этому: https://t.me/oop_ru/153326
Уже не впервые такое слышу. Но мне самому надо ещё освоить теорию категорий, чтоб это осознать)))
Уже не впервые такое слышу. Но мне самому надо ещё освоить теорию категорий, чтоб это осознать)))
AD
Vlad Sobenko
А можно гдето кратко об этом прочитать о классах и их неполноценности в теории категорий?
А то руки пока не дошли почитать по фп матану книги.
А то руки пока не дошли почитать по фп матану книги.
Возможно на конкретные ООП модели можно сверху натянуть какие то элементы категорного анализа, но не понятно из чего собственно строить категории. Если на классах как типах то там появляются беды оопшные классы не имеют боттома, топа и так далее
AD
Если рассматривать классы как типы, то, обычно примитивы сбоку, и боттома нет.
AD
Но на фп-матане можно моделировать ООП
AD
н номинативная типизация не очень гибкая, но это же не признак неполноценности
Они обе могут жить рядом
k
Возможно на конкретные ООП модели можно сверху натянуть какие то элементы категорного анализа, но не понятно из чего собственно строить категории. Если на классах как типах то там появляются беды оопшные классы не имеют боттома, топа и так далее
шо ето за боттомы и топы? 🤔
SM
ботом тип тип который подтип всех других типов. Топ наоборот
SM
типо пустое множество и универсальное
k
типо пустое множество и универсальное
а что тут является элементами множества?
AD
а что тут является элементами множества?
Типы
АГ
упарывание по типам - тренд сезона?)
АГ
что не так с классами как типами, можете объяснить?
АГ
многабукаф?
VS
упарывание по типам - тренд сезона?)
А по чем упарываться нужно?
VS
Когда они были не в тренде?
АГ
ну ок, я принимаю эту историю) так что не так с классами то?)
AD
многабукаф?
Многа
АГ
лучше пусть код будет непонятным, но коротким. будешь выглядеть умнее. да?
АГ
то, что писалось с трудом должно пониматься с трудом.