Теперь и на Hackage!

Что это такое, описано в одноимённой (с заголовком поста) статье.

А то раньше это содержалось в дебрях GHC и надо было продираться сквозь разные модули к самим оптимизациям отношения не имеющим.

Actors with Multi-Headed Receive Clauses, статья.

Цитата:Here's a simple example of a market-place actor

receive
Seller x, Buyer x -> "match found"
We employ the combination of multiple messages in a receive pattern and non-linear patterns to test for a matching seller and a buyer. Non-linear patterns are in fact a short-hand for guards. That is ( Read more... )

http://csg.csail.mit.edu/Users/arvind/ - профессор Арвинд.

Знаменит своими работами по машинам динамического потока данных.

А также основатель Bluespec, Inc., знаменитой своим Bluespec Verilog, который, в своей основе, просто Хаскель с некоторыми расширениями из систем ( Read more... )

Написание документации в любом виде - чуть ли не самая сложная работа для программиста.

Сейчас пишу статью про вычислитель будущего. Идет едва-едва.

Боюсь, успею нескоро. Исходники-то я более или менее подготовил, а вот статья с описанием модели и чего моделировалось...

( Снова техническое )

( Сильно техническое )

8½: Data-Parallelism and Data-Flow.

Интересная классификация языков: последовательные называются односчетчиковые (в смысле, с одним счетчиком инструкций), параллельные n-счетчиковые и декларативные 0-счетчиковые.

( Сильно техническое )

Про кино: посмотрел четвертого Крепкого Орешка. Вещь! Посоветовать не могу, на любителя, но вещь.

После презентации все собираюсь рассказать про вычислитель будущего, но никак не соберусь. До следующего понедельника точно напишу. ;)

Штука получилась интересная, работает, достаточно неплохо, но почему работает, работает так и почему так хорошо - ( Read more... )

Сделал обработку логов моей модели и пошаговое (относительно) интерактивное отображение всякого рода загрузок разных уровней системы и их составных частей ( Read more... )