Нечто, очень близкое к описанию суперкомпилятора для языка Си.

По крайней мере, там прогонка и специализация.

PS
Что, интересно, произошло с web-интерфейсом создания постов?

Наткнулся на проблему. Как ни старался человек, Хаскель отстаёт от Си всего на 26%. ;)

В комментариях раздалось "хотим доступ к биту переноса".

В связи с этим хочу напомнить о замечательной программе под названием GNU Superopt. Он ищет последовательность команд без переходов, что вычисляют заданную функцию ( Read more... )

http://thesz.mskhug.ru/svn/lazylists/

Ленивые списки и примитивы из статьи Generating Power of Lazy Semantics, реализованные на Си. Писал я это дело года два, с большим перерывом - не мог понять, как реализовывать sqrt с помощью Ньютона ( Read more... )

Я тут "прикинул размеры бедствия" - посмотрел на свою реализацию ленивых степенных рядов на Сях и посчитал, сколько дополнительных функций требуется для реализации 14-ти операций над ними.

Оказалось, ни много, ни мало, 25.

Варьируется от "ни одной" в районе некоторых похожих (функция для t1 сильно напоминает функцию для c*t0), до 6 на корень ( Read more... )

Точка с запятой может быть либо разделителем операторов, либо завершителем.

В Си она является завершителем - после каждого оператора должна стоять точка с запятой:
a = b+c ;
d = x-y;В Паскале, который изначальный Паскаль, она являлась разделителем операторов, поэтому последний оператор в блоке не имеет её:
begin
a = b+c;
d = x-y
endВ Хаскеле, ( Read more... )

Потактовая модель какого-то процессора пишется на Си 50 человеками за четыре месяца. 200 человеко-месяцев, 16 человеко-лет.

В нашем хаскельном случае - 2 человека, пять месяцев.

Пусть даже наш процессор проще в два раза - мы все равно быстрее в десять раз.

PS
Отвечая на когда-то заданный swizard вопрос о простоте реализации эмулятора регистровой машины ( Read more... )

Программист на Си должен написать драйвер.

Программист на Форте - свою форт-систему.

Программист на Хаскеле - свою библиотеку разборщиков. ;)

Как-то так. ;)