Таки воскресенье провёл не зря. Наконец-то у меня вышло донастроить емакс + хаскель-мод. Теперь оно дружит с сандбоксами, умеет к любой фигне вывести тип, умеет автоматом тип этот написать, ну и REPL с одноклавишной загрузкой туда файла на "поиграться".

Ох, руки болят, чувство что отошлют куда подальше, но надежда пока еще не умерла https://github.com/informatikr/hedis/pull/13

Что модно использовать для непустых списков? 0, 1 или 2?

Как же все-таки достало. Обычный хачкель-воркфлоу: ставишь пакет из хакаджа, пакет не ставится из-за какой-то НЁХ. Ставишь пакет второй раз - установка проходит отлично.

Что делает fixIO? http://hackage.haskell.org/package/base-4.6.0.1/docs/src/System-IO.html#fixIO

Пример использования есть здесь http://hackage.haskell.org/package/distributed-process-simplelocalnet-0.2.0.9/docs/src/Control-Distributed-Process-Backend-SimpleLocalnet.html

УДОБНЫЙ СПОСОБ БРОСАЕМ ЧАСТИЧНОЕ ПРИМЕНЕНИЕ ФУНКЦИИ БОЛЬШЕ СПИСКОВ ГОТОВИМ СТРУКТУРУ КОНСТРУКТОР ТИПА ВМЕСТЕ ДОБАВЛЯЕМ ПРЕДИКАТ А ВОТ КАК В HASKELL ПОЧЕМУ ИХ ТАК БОЯТСЯ ЛЮБОЙ, ДА НЕ СОВСЕМ О МОДУЛЯХ, МИНИМУМ СПИСКИ — ОДНИМ ВЗГЛЯДОМ КОНСТАНТЫ БЕЗ ОБЪЯВЛЕНИЯ СОБСТВЕННЫЙ ТИП ЭКЗЕМПЛЯР КЛАССА ТИПОВ ЗАКЛЮЧЕНИЕ МОНАДЫ: ПРАКТИКА MAIN ДЕЛИКАТЕСЫ ОДИН КОНСТРУКТОР ЗНАЧЕНИЯ ДОБАВЛЯЕМ В ПРОЕКТ О КОНСТРУКТОРАХ ЗНАЧЕНИЙ О ФОРМАТИРОВАНИИ ОЛЬЗОВАТЕЛЬСКИЕ ТИПЫ ЧИСТЫЕ ФУНКЦИИ ИНЫЕ ИМЕНА EQ ПЕРЦЫ ИЩЕМ СТАНДАРТНЫЕ ВВОД И ВЫВОД МОНАДЫ: СУТЬ МНОЖЕСТВЕННОСТЬ УСТАНАВЛИВАЕМ СОВМЕСТНАЯ РАБОТА ЛЕНЬ ЗАПУСКАЕМ О ФУНКЦИЯХ СОБСТВЕННЫЕ ИСКЛЮЧЕНИЯ ОБ ИЕРАРХИИ BOUNDED ПОГРУЖАЕМСЯ ЧТО С НИМИ МОЖНО ДЕЛАТЬ ЧТО С НИМИ МОЖНО ДЕЛАТЬ МНОЖЕСТВО АРГУМЕНТОВ НАСТРАИВАЕМ СОЗДАЁМ СВОЙ ОСТАЛЬНОЕ ЛОВИМ ПРО АПОСТРОФ О HACKAGE READ КИТ ТРЕТИЙ ФУНКТОРЫ ЕЩЁ И МОНАДА MAIN КАКАЯ ОТ НИХ ПОЛЬЗА ПРОБЛЕМА С ФАЙЛОМ ВСЁ, КРОМЕ МОНАДЫ: НА ПРИМЕРЕ IO УПОМИНАЕМ ЧИСТАЯ ФУНКЦИОНАЛЬНОСТЬ НОВЫЙ ТИП RETURN САМА СЕБЯ ФУНКЦИОНАЛЬНЫЕ ЦЕПОЧКИ МНОЖЕСТВО КОНСТРУКТОРОВ НАСЛЕДУЕМ РАЗБИРАЕМСЯ ОБЯЗАТЕЛЬНАЯ ПРИНАДЛЕЖНОСТЬ ЗАЧЕМ ЭТО НУЖНО ДОБАВЛЯЕМ УСЛОВИЕ СОЗДАЁМ ПРОЕКТ УСЛОВИЕ ENUM О ФУНКЦИИ ВСПЛЫВАЕМ ЗАТЕМ НЕСКОЛЬКО СЛОВ О HASKELL ОПРЕДЕЛЯЕМ ПРИМЕР С URL СОДЕРЖАНИЕ СОДЕРЖАНИЕ СОДЕРЖАНИЕ СОДЕРЖАНИЕ ДИАПАЗОНЫ ДЛЯ ЧЕГО ОН НУЖЕН ЛОВИМ НАОБОРОТ П ФУНКЦИИ ВЫСШЕГО ПОРЯДКА ФУНКЦИЯ ПРИМЕНЕНИЯ ИМПОРТИРУЕМ ПЫТАЕМСЯ НАЧНЁМ С C++ О МОДУЛЕ IO A ОСНОВНОЕ ПРАВИЛО НИЧЕГО, КРОМЕ В ЧИСТОМ МИРЕ КИТ ВТОРОЙ ОБ ИМЕНАХ СОБСТВЕННЫЕ КЛАССЫ ТИПОВ ЧТО ЭТО ТАКОЕ ДЕЙСТВИЯ НАД ЭЛЕМЕНТАМИ МЕНЯЕМ ТИП ДЛЯ ЧЕГО ОН НЕИЗМЕННОСТЬ ДАННЫХ БЕЗ КОНЦА ВВОД И ВЫВОД КЛАСС ТИПОВ КЛАСС ТИПОВ КЛАСС ТИПОВ LIST COMPREHENSION О ЛИЦЕ О МОДУЛЯХ ПРИНАДЛЕЖНОСТЬ УМНЫЕ ДИАПАЗОНЫ НЕУДОБНЫЙ СПОСОБ Λ-ФУНКЦИИ ВЫХОД ИЗ ФУНКЦИИ СОСТАВНЫЕ ТИПЫ РАЗОБЛАЧЕНИЕ СПИСКОВ ТИПЫ — ОДНИМ ВЗГЛЯДОМ ВЫЗЫВАЕМ НЕИЗМЕННОСТЬ СПИСКА О СПИСКАХ СОЗДАЁМ НАСЛЕДУЕМЫЕ ТИПЫ DO: ИМПЕРАТИВНЫЙ МИР ОБЪЯВЛЯЕМ ОБЪЯВЛЯЕМ ПРИМЕР О ПРЕЛЮДИИ ЗАЧЕМ ОНИ НУЖНЫ СТРАЖА! ФУНКЦИЯ ТИП ПОЧЕМУ КОНСТАНТА ПРОСТЕЙШИЕ ДЕЙСТВИЯ ИМПОРТИРУЕМ МОДУЛИ ЧИСТОТА VS НЕЧИСТОТА ФУНКЦИЯ КОМПОЗИЦИИ ORD ПОЛЯ КОРОТКАЯ ПРИНАДЛЕЖНОСТЬ КОНФИГУРИРУЕМ ИЛЛЮСТРАЦИЯ ОДНО ПОЛЕ КОРТЕЖИ ЛОКАЛЬНЫЕ ВЫРАЖЕНИЯ ЛОКАЛЬНЫЕ ВЫРАЖЕНИЯ СОБИРАЕМ ОПРЕДЕЛЕНИЕ ГОТОВИМСЯ К РАБОТЕ МОЖЕТ БЫТЬ ДЕЙСТВИЕ VS БЕЗДЕЙСТВИЕ БЛАГОДАРНОСТИ КИТ ПЕРВЫЙ КОМПОНОВКА СУТЬ КТО РАЗОБЛАЧЕНИЕ ФУНКЦИЙ КОНТЕКСТ ТИПА ТРИ КИТА ТИПИЗАЦИИ НЕ ТОЛЬКО ЗАЧЕМ ЭТО НАМ ЗЕРКАЛЬНАЯ КОМПОНОВКА ФУНКЦИИ С ПОБОЧНЫМИ ЭФФЕКТАМИ MONAD ЗАЧЕМ КАК ЭТО ВЫГЛЯДИТ В КОДЕ УКОРОЧЕННАЯ ЗАПИСЬ ТИПОВ ПОЛЕЙ И ЧТО, ЭТО ВСЁ?? О НУЛЬАРНЫХ КОНСТРУКТОРАХ ДЛЯ КОГО ЧТО ЗА ЗВЕРЬ И И ОБРАБОТКА ИСКЛЮЧЕНИЙ SHOW РЕКУРСИВНЫЕ ФУНКЦИИ ВЫВОД FAIL ЛИРИЧЕСКОЕ ВСТУПЛЕНИЕ ХИТРЫЙ СПИСОК

GADTs и GeneralizedNewtypeDeriving противоречивы.
migmit: GeneralizedNewtypeDeriving

TIL экзистенциальный типы и то, что при помощи них можно сделать динамическую диспетчеризацию. Интересно, можно ли в х-ле сделать динамическую множественную диспетчеризацию?

Этот момент, когда ненависть переростает в дружбу.

http://ubuntuone.com/1vDyRYpNb2qFR663CTcO1B

Вопрос к читавшим Functional Data Structures Окасаки. Вы читали вникая в доказательства или нет? То есть, я сейчас прочитал до места, где сложность очередей доказали через Banker's и Physicist Method'ы, и осознал, что либо мне нужно перечитывать всё с самого начала (а перед этим желательно почитать много разных примеров попроще по доказательству при помощи амортизации), либо забить и читать доказательства поверхностно, а внимательно читать только код.

TIL что я не могу ghc собрать статический бинарник с hello world, который будет работать. На моей машине вот не собирается даже: ‰ ghc --make -static -optl-static lol.hs 2>&1 | wgetpaste
Your paste can be seen here: http://bpaste.net/show/176190/

У меня не заводился Кметовский hyperloglog, думал "ну наконец-то, нет отмазок свой не написать", а тут раз -- и в сандбоксах завёлся :( Хотя, там столько его математики, что может я не смогу им пользоваться и таки напишу что-то по своему "уму".

Они там снова упоролись http://www.yesodweb.com/blog/2014/02/new-warp

Узнал, что Overloaded Records будут аж в 7.10 и пошёл таки учить линзы потихоньку.

думаешь, что "pipes" -- эдакие кондуиты для слабаков
In other words, yield and (~>) form a Category, specifically the generator category, where (~>) plays the role of the composition operator and yield is the identity.

Круто!

http://xkcd.com/1312/

Это чувство, когда узнаёшь, что dist/ является папкой для "временных файлов сборки" и окончательный бинарник надо брать из ./.cabal-sandbox/bin/.

Как в этом языке позвать pgrep?
*System.Posix.POpen> popen "pgrep" ["firefox"] Nothing
Loading package filepath-1.3.0.1 ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package old-locale-1.0.0.5 ... linking ... done.
Loading package time-1.4.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package unix-2.6.0.1 ... linking ... done.
Loading package directory-1.2.0.1 ... linking ... done.
l29ahZl29ah-t60 ~/.xmonad ‰

Зачем нужен haskell, если есть Mathematica?