функциональное программирование

" ...После лекции подошел один, попросил показать, как экспонента в топосе Гротендика вычисляется. Ну хм, там несложно; главное набрать генераторов, и с ними уже и возиться; если единица и ее подобъекты являются генераторами, то вообще все тривиально; если нет, то чуть менее тривиально, но не сильно. Все через представимые функторы, на самом деле."
http://ivan-gandhi.livejournal.com/3217110.html

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

а меня вообще хоть кто-нибудь читает еще, например? нет? переехать уже на фэйсбук окончательно, что ли. или нужно больше букв? спасибо.