Sergey Lymar

Для бинарной сериализации в Haskell существует модуль Data.Binary. Без побочных эффектов (де)сериализует в/из Data.ByteString.Lazy. Он пока не идет в поставке с GHC и его нужно руками ставить из hackage. Использовать его не просто, а очень просто:
(далее…)

Итак! Этот долгожданный момент всё-таки наступил! Я получил свой первый опыт Haskell в коммерческом программировании!
Рассказываю как дело было:
(далее…)

Давненько я ничего про Haskell не писал… Исправляюсь.
Задачу про Ханойские Башни (Towers of Hanoi) придумал французский математик Эдуард Люка в 1883 году. Существует легенда об индийском храме в котором есть большая комната с тремя алмазными столбиками на которые нанизано 64 золотых диска. И бог Брама повелел переложить диски с одного столбика на другой, и когда эта задача будет решена наш мир разрушится…
Условия головоломки: есть три столбика, на 1-й нанизана пирамида из n дисков (внизу самый большой диск, над ним чуть меньше и так далее), необходимо переместить эту пирамиду на 3-й столбик, перемещая по одному диску, при этом соблюдая условие что нельзя класть больший диск на меньший.
Это классическая задача на тему «рекурсия» и я думаю все кто хоть как-то связан с программированием её решали. Решается она очень просто:
(далее…)

Сегодня закончил статью «Простые числа. Решето Эратосфена». Гремучая смесь Haskell’я в качестве языка для исследований и C# в качестве языка реализации. Вычислил 1`907`461`679 простых чисел, от 2 до 44`783`981`911 . А теперь спать-спать-спать!

Было это в самом-самом начале моего изучения функциональных языков. Читая SICP (русский перевод) я понял что такое замыкание . Попробую это описать. Замыкание контекста - способность лямбда функции сохранять контекст, в котором она была определена. Это свойство лямбда функций можно использовать для хранения данных, т.е. некоторые данные можно хранить в виде функций. Извлекать эти данные можно с помощью других функций. Попробуем разобраться (на примере хранение пары):

Итак, определяем пару как лямбда функцию от одного аргумента (этим аргументом впоследствии будет другая функция), этот аргумент применяется к членам пары. Функция получения первого члена пары будет функцией одного аргумента, которая будет применять этот аргумент к лямбда функции двух аргументов

Функция получения второго члена пары определяется аналогично.

Теперь мы можем определить пару

И проверить как работают функции first и second

Итак, много-много малопонятного текста на русском, и всего три простые строчки на Haskell’е

Здравствуйте дорогие!

Во-первых, разрешите всех поздравить с наступившим Новым 2006 Годом! Счастья, удачи, успехов всем в новом году!

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

Это опять задача о расстановке ферзей, на сей раз занимаемся только подсчётом количества возможных расстановок:
(далее…)

Классическая формулировка этой задачи звучит так: найти все варианты расстановки ферзей на доске 8 на 8 таких, что ферзи не бьют друг друга. Обобщим её для доски N на N.
(далее…)

Всё-таки функциональные языки – это совсем параллельная вселенная. И один из самых параллельных языков в ней – Haskell.
Захотелось нам ввести в программу бесконечный список простых чисел:
(далее…)