алгебра на марше

Сижу на стрейнджлупе. Докладчики непринужденно употребляют слова... не только "монада", но и "категория", и "кольцо". Рехнуться можно.

А на том докладе, что я слушаю, ребята (на скале) вообще с помощью макросов и имплиситов выводят, что такой-то тип является кольцом.

state continuation monad

Киселёв сказал.

Это я еду со стрейнджлупа, в Сент Луисе; играет джаз и накрапывает дождик.

С утра послушал Никиту Иванова, как их гридгейн распределяет мапредьюс играючи. Никита, по знатному русскому обычаю, код прямо по ходу дела писал и гонял, распараллеливая.
Впечатляет, конечно. Но какое-то недоумение висит.

Потом был доклад о скале на llvm. Есть плюсы - не надо хитрить с трейтами, и функции можно нормально передавать. Но данные все забоксены. И библиотека джавная... Ну, нейтивы-то переписывать надо.

Потом был доклад про правильную арифметику для десятой скалы, со специвлизацией и без глюков.

Один философ рассказал, что скала олицетворяет слияние аристотелевой философии с сократовской, а венчает всё монада.

И ещё, говорит, джаваскрипт - тоже сократовская вещь.

Потом я пошел в другую аудиторию, на второй этаж, но лестница была забита народом. Это что, - спрашиваю, - на Киселёва очередь? Ага.

Но все влезли.

Киселёв код писал на окамле, но, говорит, мог бы и на си.
Речь шла о правильной ленивости. В качестве примера показывал генерацию палиндромов, распараллеленную и по Монте-Карло. А как результаты кешировать? А он использовал fork, так что в каждом процессе своё значение. А в скале надо бы было threadlocal. А в конце объяснил, что речь идёт о SCM - State Continuation Monad.

Открыл мне глаза. Я уже месяц кык пытался сообразить, как на скале или хаскеле кеш запрограммировать, без варов и без блядских этих threadlocals. А вот как. Ну теперь знаю, остаётся код написать.

Погятно, что Киселёв код писал тут же, по ходу дела, и гонял, распараллеоив и показывая top.