списки в ML

В чём смысл, кроме имплементации монады? Ведь всегда можно смоделировать с помощью (x1, (x2, (x3, ... (xn, ())...)?

здесь

Гугл на "здесь" даёт вот такой линк: здесью
Потрясающий документ.

Кто такой доктор Гололобов? Похоже, невозвращенец.

А вот ещё на эту же тему

дыбр

Обленился. И надо было поехать на 6:55, да не выполз; к 8:10 поехал. Причём и зарядку не делал. Ну потому что дождик. Намокают провода... у нас и проводов-то никаких нету (потому и свет не отключают, тьфу-тьфу). Зато новая водосточная труба работает как положено. И слава богу.

В автобусе заглянул в жж, узнал как зовут внучат и что у них всё хорошо. Ну и хорошо. Меня мать предупреждала, мол, будут свои детки так узнаешь. Узнал.
( Read more... )

Луна, между тем, продолжает нарастать. Под светом луны выкатил бочки с мусором; вытащили ещё одно сиденье из подругиного искусствовоза, и загрузили туда огромную картину. Городской пейзаж. После чего подруга мне сообщила, что ей ещё четыре года учиться в аспирантуре. Я так и рухнул. Спросил - а отдых у нас будет? После чего она обиделась и пошла в душ.