Программирование как экспериментальная метафизика: когда выбор между интерфейсом и абстрактным

Программирование как экспериментальная метафизика: когда выбор между интерфейсом и абстрактным классом решает спор об универсалиях
1. Выбор между интерфейсом и абстрактным классом — голос в споре Платона и Аристотеля об универсалиях, проверяемый компилятором в рантайме.
2. Три полигона: ООП, система типов и архитектура распределённых систем — там философские концепции получают ценник производительности и поддержки.
3. Проблема квадрата и прямоугольника, ромбовидное наследование, стирание типов — не баги, а следствия неразрешимых онтологических конфликтов.
4. CAP-теорема переводит проблему универсалий на язык доступности и согласованности, а монады формализуют аристотелевскую телеологию.
Читать статью →

Подписаться на канал