Счастливого полета!

Вроде сегодня было последнее отмечание (на сей раз в JetBrains). Поэтому:

Денис, Дима, Илья, Лёня, Настя, Олег, Рома, а также все слушатели моих семинаров, закончившие в эти дни Мат-Мех -

Subj, собственно.

:-)

Собираем камни

J. Baez, M. Stay. Categories in Physics, Topology, Logic and Computation: a Rosetta Stone. (draft)

Идея книжки замечательная. Как e^i*pi = -1.

Учтите, что это черновик, когда будете читать.

Кусочно-непрерывная память

Вот, затеяли авантюру. Каждую пятницу, лишь солнце закатится, на мат-мехе на первой паре в 3502.

Продолжаем читать классиков

А вот и у Chrisа Okasaki появился блог. Должно быть интересно.

Ученье - свет

Дорогие студенты каф. системного программирования, постарайтесь найти возможность ходить вот сюда.

Hear, Hear!

Вот, дорогие матмеховцы, прошу прочитать:

"It is all about programming! Over the last few years we have noticed worrisome trends in CS education. The following represents a summary of those trends:

1. Mathematics requirements in CS programs are shrinking.
2. The development of programming skills in several languages is giving way to cookbook approaches using large libraries and special-purpose packages.
3. The resulting set of skills is insufficient for today’s software industry (in particular for safety and security purposes) and, unfortunately, matches well what the outsourcing industry can offer. We are training easily replaceable professionals.

These trends are visible in the latest curriculum recommendations from the Association for Computing Machinery (ACM). Curriculum 2005 does not mention mathematical prerequisites at all, and it mentions only one course in the theory of programming languages"

Отсюда. (Дискуссия на lambda-the-ultimate). Релевантно донельзя.

My Love

На ooPSLA происходит куча всего интересного, но сегодня мне вылили на душу ведро бальзама: Anders Heiselberg сказал, что "Microsoft will productize F#".

У нас будет Mainstream ML. Жизнь прекрасна.

Вот вам

Microsoft presents

Anders Hejlsberg production

Y-combinator

Coming this fall to a .NET framework near you.

Приятная неожиданность

Оказывается, write barrier почти ничего не стоит. Подозревал, но не знал :) (от Ильи)

Monitor.Wait

Программистское
Пошел сегодня выбрасывать мусор и обнаружил, что во входной двери нашей квартиры сломался замок и я не могу ее ключом отпереть. Пришлось вызвать мастера, кроме этого, так как квартиру мы снимаем, провести переговоры с хозяином и т.д. Короче говоря, приехавший через час мастер успешно открыл замок, починил заклинившую там тягу, и все закончилось благополучно.

Когда я пошел, наконец, выносить мешок с тем самым мусором, подумалось: "вот оно каково threadу на lockе висеть" :)

Картинки с выставки

Прошлым августом мне посчастливилось посетить замечательный Lang.NET Symposium. Только что заметил, что на их сайте появились видеозаписи докладов. К сожадению, это просто слайды с голосом, и все огромного размера, однако если у вас резвый интернет, к просмотру очень рекомендуются:

• Gary Flake
• James Purbrick and Cory Ondrejka
• Gilad Bracha
• Shriram Krishnamurthi
• Don Syme
• Jim Hugunin
• Miguel de Icaza

Флейк и Пурбрик с Ондрейкой будут, думаю, интересны даже непрограммистам.

Вообще, рекомендую посмотреть всех speakerов. Там и Хейзельберг есть, и Поль Вик, и еще многие.
Статьи смотреть не стоит, статьи дурацкие.

Ни дня без строчки

Купил в Доме Книги поучительную монографию Билла Смита "Методы и алгоритмы вычислений на строках" (Bill Smith, "Computing Patterns In Strings"). Очень рекомендую. Про строки Туе (бесквадратные и бескубные), КМП-алгоритм, регулярные выражения и многое, о чем я раньше не слышал, или слышал, но не в виде стройной теории.

Редкий в наше время случай - зашел в магазин, пошарил по полкам и купил приличную академическую книжку про программированию.

Вообще, ситуация с книжками по программированию меня удручает. Ну, какого-нибудь Пирса или Джонса с Линсом я куплю на Амазоне и поставлю в собственный шкаф (т.е. уже купил и поставил). А если я хочу почитать Робина Милнера про пи-исчисление? Или Луку Карделли про теорию объектов? Или еще что-нибудь не столь значимое или не столь близкое к работе? Я уж молчу про какие-нибудь proceeding-и. В библиотеке такого нет, покупать самому - бюджет семейный треснет, контору просить это все заказывать мне тоже совесть не позволяет. А хочется... Тоска.

Объективный Верблд

В это году спецсеминар по Objective Caml проводится в 7ой (!) раз. В понедельник, при большом скоплении народа, схема Горнера опять превратилась в свертку справа. :)

Надо сказать, что за 7 лет много что изменилось:

• все люди понимают, что кроме C и C++ бывают и другие языки, и на этих языках очень и очень можно программировать (меня спросили, почему я рассказываю Objective Caml, а не Haskell!)
  
• все знают, что сборка мусора - это хорошо
• параметрический полиморфизм победно шевствует по mainstream языкам (в Java тайпчекинг чуть ли не неразрешим)
• Вывода типов, конечно, пока еще нет, но C# 3.0 уже на подходе - а там (почти) все будет.

По этому поводу долго думал, не сменить ли Caml на что-нибудь - на Scala, например, или на F# - но решил, что Университет должен давать классическое образование - а Caml - это все-таки современная классика языкового дизайна. К тому же, хочется и модулей, и row polymorphismа, да и Dynamic Camlем хочется похвастаться.

Кстати, в прошлом году я очень удачно пол-семинара решал expression problem на Caml - под этим соусом почти все языковые фичи можно подать. Надо будет в этом году делать то же самое, только более осознанно и последовательно.

Update: все-таки в 6ой, а не в 7ой. Первый раз это было в 2001 году. На четвертом курсе я еще не был столь нагл, чтобы вести спецсеминары :)