философское

Нужно ли понимать фундаментальную группу торов, чтобы сьесть донат бублик о! поничик?

Очень интересная дискуссия, особенно во втором треде сверху (это к статье Категории для фрезеровщиков на Жаве).

ЗЫ Ну это типа для программеров, кто после вышки еще какую-нибудь более абстрактную математику учил.
ЗЫЫ В теории категорий я знаю только базовые вещи более-менее, однако на практике приходилось несколько раз разрабатывать свои мини-языки под конкретные задачи. Вопрос, совершил ли я преступление, не разобравшись в следствиях того, что имплементация интерфейса можеть быть функтором?