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

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

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