Observations

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