Многое об обобщении
Apr. 4th, 2011 02:03![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
gemelenЛекции того самого Степанова в Яндексе.
В лекции раскрывается подход к обобщённому программированию как следствию обобщения математических объектов на протяжении развития математической науки, от Пифагора до наших дней. Речь идёт об общей мере, воспроизводимой сначала как алгоритм поиска НОД, трансформирующийся в соответствии с эволюцией абстракций теории чисел. Ну и, конечно же, говорится о замечательных людях, совершавших эту эволюцию. Один из моментов: воспоминание о лекциях Степанова в Стэнфорде.
'Вот стал я читать эту лекцию, и на занятия стал приходить один человек [на фоне слайд с портретом Кнута] и садиться сзади. Я знал кто этот человек. И он всё время меня перебивает, говоря что всё неправильно, алгоритм у тебя неправильный. Вы знаете, совершенно неприятная вещь, когда ты читаешь лекцию, а Кнут ругается!'
...
'Недавно, года 3 назад, например, все вы верили в это [всеобщность математики в приложении]. Потом вы устроились на работу и стали читать Александреску [аплодисменты]. Не читайте Александреску, читайте математику и ваш код станет лучше. ... Читайте Кнута, и Эвклида.'
...
'Я верю, это моя мечта, что вы, возможно вы, создадите некий общий язык, база которого будет служить и при создании специализированных, нишевых языков. Например, indention в Python: интересная, может быть даже хорошая идея отступов вместо фигурных скобок, но совершенно глупая, так как во всех остальных языках уже есть фигурные скобки в качестве ограничителей блоков. Все мои друзья, за исключением Бьярна, при создании своего языка мечтаю избавиться от них. Вы все его ругаете, но есть одна вещь - он занимается и поддерживает C++ с 79го года, тогда как я, закончив с STL в 95, умыл руки. Мне периодически звонят, с просьбой откомментировать те или иные расширения, я говорю, что всё это хорошо, но и только. ... А теперь поднимите руки те, кто писал на Oberon. [1 человек] Вот это именно то, что я имел в виду; и это не ваша вина'
В лекции раскрывается подход к обобщённому программированию как следствию обобщения математических объектов на протяжении развития математической науки, от Пифагора до наших дней. Речь идёт об общей мере, воспроизводимой сначала как алгоритм поиска НОД, трансформирующийся в соответствии с эволюцией абстракций теории чисел. Ну и, конечно же, говорится о замечательных людях, совершавших эту эволюцию. Один из моментов: воспоминание о лекциях Степанова в Стэнфорде.
'Вот стал я читать эту лекцию, и на занятия стал приходить один человек [на фоне слайд с портретом Кнута] и садиться сзади. Я знал кто этот человек. И он всё время меня перебивает, говоря что всё неправильно, алгоритм у тебя неправильный. Вы знаете, совершенно неприятная вещь, когда ты читаешь лекцию, а Кнут ругается!'
...
'Недавно, года 3 назад, например, все вы верили в это [всеобщность математики в приложении]. Потом вы устроились на работу и стали читать Александреску [аплодисменты]. Не читайте Александреску, читайте математику и ваш код станет лучше. ... Читайте Кнута, и Эвклида.'
...
'Я верю, это моя мечта, что вы, возможно вы, создадите некий общий язык, база которого будет служить и при создании специализированных, нишевых языков. Например, indention в Python: интересная, может быть даже хорошая идея отступов вместо фигурных скобок, но совершенно глупая, так как во всех остальных языках уже есть фигурные скобки в качестве ограничителей блоков. Все мои друзья, за исключением Бьярна, при создании своего языка мечтаю избавиться от них. Вы все его ругаете, но есть одна вещь - он занимается и поддерживает C++ с 79го года, тогда как я, закончив с STL в 95, умыл руки. Мне периодически звонят, с просьбой откомментировать те или иные расширения, я говорю, что всё это хорошо, но и только. ... А теперь поднимите руки те, кто писал на Oberon. [1 человек] Вот это именно то, что я имел в виду; и это не ваша вина'