Здравствуйте, Шахтер, Вы писали:

Ш>Здравствуйте, desperado_gmbh, Вы писали:

_>>Здравствуйте, Шахтер, Вы писали:

Ш>>>Вопрос на засыпку -- многие ли программисты знают, что такое интеграл Лебега?

_>>Изоморфизм Карри-Ховарда и основы теории категорий для обсуждаемых целей полезнее

Ш>Пожалуй. Но я боюсь, программистов, знающих теорию категорий, ещё меньше, чем знающих интеграл Лебега.

Вот покапал эту сеть :
то что здесь написано это кажись все, что дает хоть какое-то представленине о этой теории?

Почему бы кому-нить, кто затрагивал в ВУЗе данный предмет и разберется в терминологических тонкостях, не попереводить материал на родной язык, который выложен хотя бы вот тут ... коли это так полезно знать программистам Отечество вас незабудет, дорогие патриоты