[the real world is] an implementation detail of IO, pay it no mind

(...) the difference between OO and the Haskell way; it's the difference between
metaphysical engineering and constructive mathematics.

Термин metaphysical engineering мне понравился :)

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

Уже просто развлекуха :) случайно подумал. Коан
(<*>) . (<$>) (<*>)

гораздо правильно записывается вот так:

(<*>) <$> (<$>) (<*>)

Ну что, ваш дзен уже звенит, как струна? :) Тогда вот:

(<*>) . (<$>) (<*>)

Только не надо звать санитаров :) Смысл всего этого будет изложен в статейке, которая почти наверняка появится до конца недели. Справедливости ради нужно отметить, что верхняя строчка может быть записана

(<*>) . fmap (<*>)

Но первый вариант, по-моему, веселее :)

Может быть полезно на некотором уровне. Разберитесь, как оно работает, и вы поймете гораздо больше, чем как оно работает :) Да, и не пинайте за "шифровку" - это как афоризм :) хочется напустить туману.

(+) <*> (2+) $ 20

Пришел я на #haskell и публично спросил у лямбдабота: есть ли такая функция a->(a,a ( Read more... )

Иногда уровень абстракций языка программирования начинает существенно обгонять уровень абстракций, доступных на данный момент в естественном языке. Первой жертвой становятся имена значений. Код манипулирует понятиями настолько общими, что придумать осмысленные имена значениям становится очень сложно. Появляются f, a, b, и прочее ( Read more... )

Каждая следующая постигнутая концепция Haskell (или, если уж на то пошло, теории категорий) сокращает длину программы, скажем, вдвое. Не прочитанная, не изученная, а постигнутая ( Read more... )

Да, я знаю, что darcs страшно сливает git по скорости, но как же она аддиктивна!

Сделал подряд два изменения:
1: снес поддержку binary как ненужную
2: добавил поддержку AdHocStorable

Склонировал репозиторий. И по приколу сказал darcs obliterate -p 'снес поддержку*'.

В итоге получил код, в котором поддерживается binary и AdHocStorable. Замечу, ( Read more... )