Здравствуйте, desperado_gmbh, Вы писали:
_>Здравствуйте, Шахтер, Вы писали:
Ш>>Вопрос на засыпку -- многие ли программисты знают, что такое интеграл Лебега?
_>Изоморфизм Карри-Ховарда и основы теории категорий для обсуждаемых целей полезнее 
Пожалуй. Но я боюсь, программистов, знающих теорию категорий, ещё меньше, чем знающих интеграл Лебега.
... << RSDN@Home 1.1.0 stable >>
