" ...После лекции подошел один, попросил показать, как экспонента в топосе Гротендика вычисляется. Ну хм, там несложно; главное набрать генераторов, и с ними уже и возиться; если единица и ее подобъекты являются генераторами, то вообще все тривиально; если нет, то чуть менее тривиально, но не сильно. Все через представимые функторы, на самом деле."
http://ivan-gandhi.livejournal.com/3217110.html
я, на самом деле, делал уже несколько подходов к функциональному программированию, но чото не осилил. и не нашел где их применить, что бы попрактиковаться. через это вот читаю, вроде все слова по-отдельности понятные, а целиком.. оченть похоже на адептов теории струн: занимаются вроде бы удивительными и интересными вещами, но какая польза от этого - непонятно.
2 comments:
Вот я тоже несколько подходов делал, но за не имением практики стоит из потока информации выбиться, тут же все выветривается и начинаешь вникать во все с начала. А смысл тут скорее не в практической пользе, а в эмоциональном удовлетворении, ну т.е. я, например, от скуки начинаю все все это вникать и меня это веселит. Хотя, и прктическую пользу адепты обещают, например, в более лаконичном прототипировании многопоточных/распределенных систем.
Кажись, тоже был причастен к ФП, когда лет 30 назад использовал АвтоЛИСП для САПР; при проектировании советского персонального компьютера объёмом в десятую долю кубометра. Рождение которого было прервано появлением ИБМ-ХТ-86.
Post a Comment