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

Сначало надо отметить, что у хаскель-процессов ( Read more... )

Набросал небольшую замену Control.Concurrent . В нем все функции совпадают с оригинальным модулем, кроме следующих дополнений:

• Проблема Chan(..) и instance Eq (Chan a) решена полным дублированием и дополнением функционала Chan включая instance Typeable1 Chan. Идея thesz хороша, но имеет два минуса: 1) если код большой, надо много где менять Chan на ( Read more... )

Посмотрев на реализацию Erlang-style Distributed Haskell захотелось нарисовать что-то своё, простое, для коммуникации процессов внутри одного исходника. Получился достаточно небольшой модуль:

( Process.hs )

Несколько слов хочу сказать пишущим туториалы про монады в Хаскелле.

В туториале хотелось бы видеть не только теоретическое, но и практическое их использование. Как только вы упоминаете в тексте слово "Haskell" (вы же не собираетесь описывать монады только терминами теории категорий?), сразу нужно настраивать читателя на то, что знание монад имеет ( Read more... )

Вечереет, а я туплю. Статическая типизация всё-таки сложная штука.
Есть отдельно взятая функция:
addStates :: (DynGraph gr, Eq s) =>
        [(s, (s, [x]), (x, y))] -> gr (s, [x]) (x, y) -> (gr (s, [x]) (x, y), [(s, Node)])
addStates ss g = (g', zip s nodes') where
        ss' = (`nubBy` ss) $ \(_, (s, _), _) (_, (s', _), _) -> s == s'
        g' = ( Read more... )

Как-то небрежно документация сделана для GHC 6.8.1

Допустим есть модуль CString. Он пуст. Но интуитивно понятно, что это то же самое, что и Foreign.C.String. А IO - это bracket и bracket_ из Control.Exception + System.IO. И кстати ссылки на Control.Exception в IO битые. Бардак какой-то вобщем ( Read more... )

Полиморфные алгебраические типы данных можно рассматривать не только как типы с определенной структурой, но и как операции над множествами их значений. Например для некоторых двух типов a и b операцией объединения будет тип data Either a b = Left a | Right b, а операцией декартового произведения будет тип, аналогичный кортежу из двух элементов: ( Read more... )

Интересно, а при помощи систем продуций можно реальные парсеры писать?

Под катом самописный модуль Prod, который экспортирует две функции runProd и sys:

• runProd (a, b) w - реализует срабатывание продукции a -> b над входным словом w
• sys [(a1, b1), (a2, b2), ...] w - реализует срабатывание системы продукции {a1 -> b1, a2 -> b2, ...} над входным ( Read more... )

Похоже я недостаточно хорошо понял existentials'ы, либо просто туплю ...
{-# OPTIONS_GHC -fglasgow-exts ( Read more... )

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

foldl f v xs = foldr (λx g →(λa → g (f a x))) id xs v
Давайте рассмотрим подробнее определения функций foldl и foldr.

foldr f v [] = v
foldr f ( Read more... )