O
@dhruebdydbdurhrur ты мой профиль линкеда видел?
Не
Size: a a a
2019 September 21
O
Ваще есть, но давно не заходил
AD
Чтобы получать свойства и гарантии от абстракций
AD
Паттерны не предоставляют таких свойств и гарантий
ДК
Нет, теоркат это попытка строит абстракции на аксиоматической доказуемой основе
Братан... Ты щас написал чушь
ДК
Аксиома это то что не требуется доказывать
AD
Правильно
ДК
Как основа может быть доказуемой и аксиоматической одновременно?
AD
Чтобы что то доказать надо выбрать набор аксиом
ДК
Нет, теоркат это попытка строит абстракции на аксиоматической доказуемой основе
ДК
Выбери что-то одно
AD
Основа аксиоматическая - результаты доказуемая
ДК
Ну кароч это всё хуйня на самом деле
AD
Это на первый взгляд
V
да и на второй...
AD
Если не пытаться найти смысл и применение - да
AD
Вот например есть широкий класс операций с коллекциями которые описываются как 1->n элементов. Сколько бойлеплейта было написано для их описания когда есть Монада у которой есть флат мап частным случаем которого есть эта самая операция
AD
1 -> n. Это в свою очередь позволяет абстрагироватся от коллекции