-
Отличный пост на RSDN.
Внутренности современных систем виртуальной памяти, или Почему падают виртуальные машины Эрланга.
Нисколечки не ерничаю, поскольку других машин это тоже касается. Даже ghc. ;)
Кстати, там ленивые.. не вычисления, но действия - в полный рост. -
Интересуюясь горячим обсуждением Go на RSDN.
Я пытался понять, что же там происходит.
Очень интересно смотреть, как умные люди отстаивают своё право на небольшое уменьшение привычной им случайной сложности (accidental complexity ( Read more... ) -
Сейчас с одной мыслью разберусь.
Анонимус на RSDN высказался в стиле "я структурирую программы с помощью языков, а не типов".
Это просто необходимо разобрать.
Parsing Techniques: A Practical Guide содержит упоминание о грамматиках ван Вейнгаардена (вот тут фотография Вейнгаардена и академика Ершова). Это двухуровневые грамматики, где один уровень описывает грамматики уровнем ( Read more... ) -
Нет, я всё-таки напишу.
Лисп - это религия лисперов с программистских форумов.
(опять с RSDN - там метапрограммирование lisp-style было возведено в ранг инструмента на все случаи жизни. вообще все, без исключения. оно всегда поможет. не бывает, что не помогает, уж тем более не бывает, что мешает.) -
К недавнему списку неприятных особенностей Хаскеля.
Собственно, этот список представляет собой фальсифицирование Хаскеля, как инструмента.
Мы можем придумать область деятельности, где Хаскель снижает продуктивность, то есть, неприменим.
Эту мысль стоит обдумать.
PS
По следам заявлений одного анонимного лиспера на RSDN о безграничной применимости метапрограммирования. -
Личная война с коллективным разумом RSDN.
Один из представителей коллективного разума RSDN, имя которого моя память не сохранила для истории, предложил мне в запале битвы подумать, как бы я портировал Speex на Хаскель и чтобы я при этом выиграл. Speex - это кодек речи на основе CELP. Соответственно, контекст задачи - VoIP сервер, кодирующий большое количество каналов, несколько сотен ( Read more... )