folone

Scala User Group Ukraine

2012-03-30T00:00:00-07:00

На прошлых выходных прошла третья встреча группы пользователей скалы в Украине. На ней я пытался рассказать о том, как мы используем у себя scalaz (ссылка на презентацию). Из сделанных выводов — у меня немалые проблемы с докладами на публику: надо учиться внятно излагать.

Пока не прошёл запал, запилил сайт для юзергруппы, на hakyll ’е.
Так как гуглгруппу никто не читает, продублирую приглашение контрибьютить тут: очень яростно приглашаются люди, способные сверстать/задизайнить что-нибудь более симпатичное, чем я слизал отсюда, нарисовать логотип, обвешать всякими твиттеро-фейсбуко-гугло виджетами, написать хороших статей, етс. О том, как запустить у себя сайт локально и контрибьютить, написано в readme. Со всеми вопросами, пожеланиями, идеями — добро пожаловать ко мне в джаббер (folone@jabber.ru) или на почту (ссылка в футере).

Линкдамп №2

2012-03-02T00:00:00-08:00

Ещё немного всячины из загашников (первая серия тут):

Ниже следуют советы Дона Стюарта о том, какие сорцы стоит почитать на хаскелле, в ответ на один из вопросов на SO.

Код аспирантов, профессоров и постдоков из разных университетов:

Читать код ~~древних мастеров~~ некоторых людей (список не полный):

Саймон Марлоу, Росс Пэтерсон, Саймон Пейтон Джонс, Энди Гилл, Джон Лончбери, Джон Хьюз, Филипп Вадлер, Ричард Бёрд, Koen Claessen, Марк Джоунс, Эндрю Толмак, Тим Шерд, S.D. Swierstra, Augustsson, Runciman, Малкольм Воллес, Саймон Томпсон, Ralf Hinze, Джереми Гиббонс, Daan Leijen, Пол Худак, Конал Эллиотт, Finne, Manuel M T Chakravarty и
Любой, кто написал functional pearl.

Люди вроде меня (Дона Стюарта), Coutts, Mitchell, Брайана О’Салливана, Lynagh, и прочих. учились хаскеллю у этих людей.

Код некоторых приложений:

Также, оказывается, вокруг стандартной библиотеки хаскелля — множество наработок: альтернативные прелюдии и кастомные утилитарные библиотеки. Например:

Numeric Prelude — та самая прелюдия, в которой монады наследуются от функторов и добавлены прочие тайпклассы из теории категорий и абстрактной алгебры, также навешена их семантика.
The Other Prelude — прелюдия со своими конвенциями и убеждениями, кардинально отличающимися от стандартной прелюдии, о которых можно почитать по ссылке.
Foundation — альтернативная прелюдия от небезызвестного Миши Сноймана, автора веб-фреймворка yesod (с иврита переводится как “основа”) и абстракции conduit.
Category Extras — упоминал в прошлом посте, и в этом упомяну. Ох, чего там только нету. И осиливать это — не переосиливать.
MissingH — библиотека с утилитами от небезызвестного John Goerzen. Заявляется, что библиотека для тех, кто хочет делать практические штуки быстро (в отличие от предыдущей библиотеки, где упор сделан на теорию). Проект на гитхабе.
Overture и Air — ещё две библиотеки. Ссылки нашёл на реддите.

Из обсуждаемого в последнее время — вывод ошибок системы типов в виде ворнингов с поммощью некоей опции компилятора. В этом контексте так же интересен ввод некоего “магического” значения, которое всегда не тайпчекается, вместо undefined.

Интересная штука, о которой мне рассказал сотрудник — обсуждение возможности добавления “holes” из Агды в хаскелль. Вкратце, когда среда редактирования (ghci, или емакс мод) встречает такие вот “дырки” (обозначенные, например, так: __), она подсказывает тип того, что там должно быть, а также показывает список того, что есть в скоупе такого, что подошло бы вместо “дырки”.

Recursion Schemes, a Field Guide to Recursion Schemes, a Field Guide to ...

2012-02-29T00:00:00-08:00

Морфизм (стрелка) — в общем смысле преобразование любого рода из одного объекта категории в другой.

Пытаюсь осилить Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. В процессе составил такую вот табличку. Референсом служила вот эта таблица и вот этот проект. Ну и вообще бложек Эдварда Кметта, человека и парахода.
Зна́ком вопроса помечены определения, в которых я ну совсем не уверен и не осилил. По мере прочтения и понимания, таблица будет апдейтиться. Буду весьма благодарен дополнениям, поправкам, другим примерам и рекомендациям, чего бы почитать по теме.

Схема	Код	Описание	Краткий пример
Folds
Схема	Код	Описание	Краткий пример
катаморфизм	Cata	обобщение свёртки структур на произвольные алгебраические типы данных, от греч. κατά = вниз, проверочное слово — катастрофа	`foldr`
параморфизм	Para	свёртка структуры при помощи примитивной рекурсии, от греч. παρά = вместе, “eats its argument and keeps it too”	`dropWhile`
зигоморфизм	Zygo	свёртка структуры при помощи вспомогательной функции, являющейся катаморфизмом, взаимная рекурсия
хистоморфизм	Histo	свёртка структуры на основе предыдущих вызовов (на каждом шаге доступ к результатам, полученным на предыдущих шагах), “аннотирует” каждый следующий элемент структуры результатом, полученным из предыдущих элементов
препроморфизм	Prepro	свёртка структуры после последовательного применения натурального преобразования
Unfolds
анаморфизм	Ana	обобщение разворачивания структур на произвольные алгебраические типы данных, от греч. ἀνά = вверх, проверочное слово — анаболизм	`unfold`
апоморфизм	Apo	примитивная корекурсия. собирается структура по одному уровню за итерацию, от греч. ἀπό = отдельно	`zip, iterate`
футуморфизм	Futu	собирается несколько уровней за одну итерацию (?)
постпроморфизм	Postpro	разворачивается структура и последовательно применяется натуральное преобразование (?)
Refolds
Схема	Код	Описание	Краткий пример
хиломорфизм	Hylo	анаморфизм + катаморфизм, от греч. ὑλο = материя	`fact n = product [1..n]`
хрономорфизм	Chrono	футуморфизм + хистоморфизм (?)
синхрономорфизм	Synchro	высокоуровневое преобразование между двумя структурами, которое использует третью структуру для получения промежуточных данных (?)
экзоморфизм	Exo	высокоуровневое преобразование между структурами из триалгебры в биалгебру (?)
метаморфизм	Erwig	хиломорфизм, выраженный в терминах биалгебры (?)
метаморфизм	Gibbons	обратный хиломорфизм: катаморфизм + анаморфизм; изменение репрезентации
динаморфизм	Dyna	анаморфизм + хистоморфизм (?)
Elgot алгебра	Elgot	во время fold’а может остановиться (?)
Elgot коалгебра	CoElgot	во время unfold’а может остановиться (?)

Ну и легендарный зигохистоморфный препроморфизм (код). Сам Кметт даёт некоторые объяснения в этом сообщении.

Бонусом — вот такая вот диаграмма свёрток.

P.S. В процессе написания этого поста обнаружилась вот такая вот работа: Program Calculation Properties of Continuous Algebras. Работа весьма хардкорная. Сам “Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire” для меня очень хардкорен. Так вот, эта, судя по беглому пролистыванию, ещё более хардкорная. Будем осиливать понемногу, что делать.

P.P.S. Ну и вот этот пакет просто поражает воображение.

Scalaz Unicode

2012-02-28T00:00:00-08:00

Собрал небольшую табличку юникод-алиасов из scalaz. В нижней части — алиасы из самой скалы:

Символ	Код	Ascii эквивалент	Пример
Scalaz
η	951	pure	`1.η[List]`
μ	03BC	join	`List(List(1,2,3), nil, List(5,6,7)) μ`
∅	2205	zero	`∅[Int]`
<∅>	2205	empty	`<∅>[Option, Int]`
∙	2219	contramap	`((_:String).length ∙ (_:Int).toString ∙ ((_:Int) + 6))(5)`
∘	2218	map	`(((_:Int) + 6) ∘ (_:Int).toString ∘ (_:String).length)(5)`
∘∘	2218	map2	`(List(Some(7), None, Some(8)) ∘∘ (1 + (_: Int)))`
☆	2606	kleisli	`val k = ☆((n: List[Int]) => if(n.isEmpty) None else Some(n ∘ (_.shows.reverse)))`
★	2605	cokleisli	`val sum = ★((m: NonEmptyList[Int]) => m.sum)`
σ	963	dual	`"1".σ ⊹ "2".σ`
⊛	229B	\|@\|	`(List(1,2) ⊛ List(3,4)){_ + _}`
∃	2203	any	`List(1,2,3) ∃ (_ < 2)`
∀	2200	all	`List(1,2,3) ∀ (_ > 0)`
↦	21A6	traverse	`List(1,2,3) ↦ (_.some)`
ʐ	0290	zip	`Stream(1,2,3).ʐ`
⋙	22D9	>>>	`(((_:Int) + 5) &&& ((_:Int) * 2)) ⋙ { case(x,y) => x + y }`
⋘	22D8	<<<	`((_:String).toInt) ⋘ ((_:Int).toString)`
⊥	22A5	undefined	`lazy val error = ⊥`
∗	2217	flatMap	`some(6) ∗ {case x => some(x+1)}`
π	03C0		`val radians = ((_:Int) * π / 180, (_:Int) * 360 / π2)`
π2	03C0		`val radians = ((_:Int) * π / 180, (_:Int) * 360 / π2)`
×	00D7		`×[Int,Int](5)`
⊹	8889	‌\|+‌\|	`some(1) ⊹ none`
∏	220f	multiplication	`(7 ∏) ⊹ (8 ∏)`
≟	8799	===	`"" ≟ 5`
≠	8800	/==	`"" ≠ 5`
∋	220B	contains	`List(1,2,3) ∋ 3`
∈	2208	contains	`50 ∈: Stream.range(0, 100)`
∧	2227	AND	`true ∧ false`
∨	2228	OR	`true ∨ true`
⊽	22BD	NOR	`false ⊽ true`
⊼	22BC	NAND	`false ⊼ false`
→	2192	Conditional	`true → true`
⇐	21D0	Inverse Conditional	`false ⇐ true`
⇏	21CF	Negational of Conditional	`false ⇏ true`
⇍	21CD	Negation of Inverse Conditional	`false ⇍ true`
Scala
⇒	21D2	=>	`.map { case(x,y) ⇒ x * y }`
←	2190	<-	`for { x ← res2 } yield (x*x)`
→	2192	->	`List(1 → 2, 2 → 3, 3 → 4)`

Полезный пример от самих авторов — тут.

P.S. В конфиг емакса добавил следующую утилитарную функцию:

;; This function does some scala code prettifying.
(defun prettify-scala-code ()
  "Replace ascii with it's unicode counterparts."
  (interactive)
  (save-excursion
    (beginning-of-buffer)
    (let ((replace-table (make-hash-table :test 'equal))
          replaces)
      (puthash "=>" "⇒" replace-table)
      (puthash "<-" "←" replace-table)
      (puthash "->" "→" replace-table)
      (maphash (lambda (toreplace withreplace)
                 (replace-string toreplace withreplace))
               replace-table)
      replaces)))
(global-set-key (kbd "C-c p") 'prettify-scala-code)

Линкдамп

2012-01-12T00:00:00-08:00

Скопилось немного всякой всячины, которую никак не получается категоризовать во что-нибудь осмысленное. Потому ссылочки и небольшие комментарии:

В авторитетном источнике найдено доказательство того, что хаскелль — это лисп (обсуждение):
Заполучил TAPL на русском, по пути узнал, что есть продолжение. Немного непонятно, почему “Reading level: Ages 18 and up”. Сцены насилия над мозговой тканью во все поля, да.
Чуть более серьёзный набор ссылок: оказывается, исторические проблемы в тайпклассах хаскелля (монада — не функтор и иже с ними) не дают покоя многим. Потому есть Numeric Prelude, где эта проблема успешно решена. Также добавлены новые тайпклассы, описывающие алгебраические структуры: группа, кольцо, поле, т.д. В общем, обмазываться-непереобмазаться.
Также узнал о Haskell’. Узнал благодаря тому, что увидел незнакомый (.:) в #haskell, который lambdabot, тем не менее, вполне проглотил и не подавился. Более того, сказал, что по типу оно эквивалентно сиськам: (.).(.). Обсуждение.
Огромнейшим откровением для меня стал тот факт, что для функции определён инстанс монады. Благодаря этому возможны штуки вроде (*) =<< (-) =<< (+4) $ 5. Я хороший промежуток времени потратил, чтобы это осилить. Кажется, пора перечитать типоклассопедию: в первое прочтение 80% информации оказалась непо́нятой.

Roy, статически типизированный джаваскрипт.

2011-12-09T00:00:00-08:00

Каждый раз начиная новый проект под веб, стоит проблема выбора стека технологий. Для меня сервер-сайд технологии более-менее определены (планирую поменять lift на play, но это мелочи). Тем не менее, UI — это каждый раз компромисс. Так хочется статически-типизированный язык. Тем не менее, по отзывам, с вариантами вроде GWT и иже с ним проблем во время дебага не оберёшься.

На новом проекте я наконец решил заюзать что-нибудь эдакое. После некоторого ресёрча выбрал Roy. Уверен, с этим выбором будет связано множество недовольств в команде: язык очень молодой, поддерживается парой энтузиастов и вообще выглядит непривычно для среднестатистического веб-девелопера. Тем не менее, статическая типизация, синтаксис, похожий на хаскелль, паттерн матчинг, do-нотация, вызовы к сторонним библиотекам (правда, пока такие вызовы не типизированы) и вывод типов с помощью алгоритма Хиндли-Милнера взяли своё. К тому же, на выходе получается вполне вменяемый и читаемый (!) джаваскрипт. Что значит, что если вдруг не приживётся, выкинуть будет очень просто.

Так как язык очень молодой, пришлось делать периферийную работу:
Первым, что я сделал — на скорую руку склепал roy-mode. Делал на основе generic-mode, что оказалось весьма простым занятием:

Получилось что-то такое:

Над модом ещё работать и работать: нету поддержки компилятора, автоотступов, етс (читай: “pull requests are very welcome”). Тем не менее, после того как я обзавёлся каким-никаким методом ввода кода, пришло время автоматизировать компиляцию этого самого кода. Так как сборка на наших проектах производится мейвеном, был быстренько написан плагин. Благодаря пакету scala.sys.process, включающему в себя удобный DSL для описания shell-команд, код получился весьма небольшим и довольно читабельным.
Получаем все roy-файлы в директории:

private def recursiveListFiles(f: File, r: Regex) = {
  val these = f.listFiles
  val good = these.filter(f => r.findFirstIn(f.getName).isDefined)
  good ++ these.filter {_.isDirectory}.flatMap {recursiveListFiles(_, r)}
}

val filesToCompile = recursiveListFiles(in, """.*\.roy$""".r)

Компилим каждый и перекидываем результат в директорию с джаваскриптом:

private def compileFile(o: File)(f: File) = {
  val result = ("roy " + f.getPath) !
  val jsFile = new File(fileExtToJs(f.getPath))
  jsFile.renameTo(new File(o, jsFile.getName))
  result
}

private def fileExtToJs(roy: String) =
  roy.split('.').init :+ "js" mkString "."

filesToCompile foreach { compileFile(out) }

Оператор ! выполняет последовательность shell-команд и возвращает код выхода. Если же нужен текстовый вывод последовательности, можно использовать оператор !!.

Понятное дело, и roy-mode’у и мейвен-плагину для корректной работы нужен установленный roy: npm install roy.

Итого, инфраструктура в зачаточном состоянии есть. Надеюсь, roy сможет решить главную возложенную на него задачу: помочь получать наконец удовольствие от UI-разработки под веб.

Частичный апдейт немутабельных данных

2011-11-29T00:00:00-08:00

“Lenses are the coalgebras for the costate comonad”
© Patterns in Functional Programming

Недавно подкинули ссылку на презентацию Кметта по Lenses (код к видео):

Весьма интересно. Разбираясь на досуге со scalaz, полез искать, что там для этого есть. Нашёл имплементацию и ещё одну интересную штуку из той же оперы, Zippers. В scalaz есть Zipper для Stream и для Tree.

Show me the code!

Работа с Lenses выглядит как-то так:

С Zipper — так:

Haskell Mascot

2011-11-22T00:00:00-08:00

Похоже, у Хаскелля таки будет маскот (не коала):

UPD: магазин.

Диаграмма Классов Типов

2011-11-16T00:00:00-08:00

Почитав на досуге Типоклассопедию, соорудил диаграммку по мотивам представленной в ней, для собственного удобства.
Вдруг кому пригодится, вот ссылка

Небольшая заметка о комбинаторе неподвижной точки на Scala

2011-09-21T00:00:00-07:00

Недавно меня натолкнули на интересную тему рекурсивных схем. В процессе поглощения информации набросал yet another fixed point combinator на скале.

// По определению, в лоб:
def Y[T](func: (T => T) => (T => T)): (T => T) = func(Y(func))(_:T)

Ну и чтобы проверить, классический хелловорлд:

def fact = Y {
  f: (Int  => Int) =>
    n: Int =>
      if(n <= 0) 1
      else n * f(n - 1)
}

scala> fact(5)
res0: Int = 120

К сожалению, популярный

Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L)
L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))

на скале описать не получится: максимальное количество параметров у функции — 22.

Бонус — SKI-calculus на скале

Ещё одно решение задачки про математиков

2011-08-04T00:00:00-07:00

Задачу уже несколько раз пережевали. Тем не менее, я всё же тоже выложу свой вариант, на скале, “в лоб”.

Условие:

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

- Дети-то есть?
- Да, трое сыновей.
- И сколько же им лет?
- Ну ты же математик, попробуй сам рассчитать. Если перемножить их возрасты, то получится 36.
- Недостаточно информации.
- Сумма их возрастов равна номеру вон того троллейбуса.
- Опять недостаточно информации.
- Младший — рыжий.
- Теперь всё понятно!

Назовите возраст детей.

Сначала сгенерим список нужных кортежей:

scala> val range = (1 to 36) toList

scala> range.flatMap { x =>
     |   (x to 36).toList.map { y =>
     |     (y to 36).toList.map { z =>
     |       (x,y,z)
     |     }
     |   }
     | } flatten

res9: scala.collection.immutable.List[(Int, Int, Int)] = List((1,19,34),
(5,15,34), (12,16,18), (15,16,28), (7,35,35), (16,21,31), (7,21,33),
(10,25,33), (10,12,25), (23,27,36), (4,17,26), (6,12,36), (15,17,22),
(3,13,29), (14,31,33), (23,23,24), (31,33,34), (6,21,28), (8,17,22),
(22,22,28), (6,30,30), (19,23,33), (12,29,36), (9,33,33), (7,7,34),
(15,19,34), (9,28,35), (10,17,20), (9,11,30), (19,24,35), (1,24,31),
(4,8,27), (5,6,12), (2,8,27), (8,27,30), (4,31,33), (25,28,28),
(3,14,15), (27,27,34), (5,35,36), (16,21,34), (15,29,36), (3,29,29),
(5,24,27), (3,5,31), (2,15,22), (1,3,23), (6,13,16), (16,22,25),
(10,11,32), (6,10,35), (6,20,26), (21,25,36), (12,18,28), (7,17,25),
(15,15,19), (7,29,33), (16,16,28), (7,14,16), (26,29,34), (17,18,30),
(6,18,23), (3,26,27), (9,13,28), (2,17,30), ...

Первое условие — произведение:

scala> res9.filter { x =>
     |   x._1*x._2*x._3 == 36
     | }

res12: scala.collection.immutable.List[(Int, Int, Int)] = List((2,2,9),
(3,3,4), (1,4,9), (1,3,12), (2,3,6), (1,2,18), (1,1,36), (1,6,6))

Группируем по суммам:

scala> res12.groupBy { x =>
     |   x._1+x._2+x._3
     | }

res13: scala.collection.immutable.Map[Int,scala.collection.immutable.List
[(Int, Int, Int)]] = Map(10 -> List((3,3,4)), 14 -> List((1,4,9)),
38 -> List((1,1,36)), 21 -> List((1,2,18)), 13 -> List((2,2,9), (1,6,6)),
16 -> List((1,3,12)), 11 -> List((2,3,6)))

Условие суммы оказалось недостаточным, значит номер троллейбуса — 13:

scala> res13.filter { _._2.size > 1 }
res21: scala.collection.immutable.Map[Int,scala.collection.immutable.List
[(Int, Int, Int)]] = Map(13 -> List((2,2,9), (1,6,6)))

res21.values.flatten.filter { x =>
     | x._1 < x._2
     | }
res22: Iterable[(Int, Int, Int)] = List((1,6,6))

Правильный ответ — (1,6,6). Впрочем, если придираться, по чисто человеческим причинам второй ответ тоже проходит.

Как-то так.

Emacs setup for scala

2011-08-03T00:00:00-07:00

Многие, кто начинает пробовать работать на скале, после того как дойдут до создания чего-то большего, чем джейсон парсер, начинают задаваться вопросом выбора среды разработки. Обычно эти поиски заканчиваются разочарованием: эклипс глючный, идея не умеет выводить типы для всего, сложнее вышеупомянутого джейсон парсера и перекрашивает кучу валидного кода красным, нетбинз тоже оставляет желать лучшего. Я некоторое время тому открыл для себя емакс. Последний год я использовал его исключительно как органайзер и джаббер-клиент. Но когда сменил работу на имеющую отношение к скале и настало время выбрать среду разработки, вспомнил о своём “джаббер-клиенте”.

Быстрый гуглёж показал, что существует некий ensime-mode. Вопреки устоявшемуся мнению насчёт емакса вообще и его конфигов в частности, установить и начать играться с этой штукой проще простого.

Я пользуюсь emacs starter kit’ом. Правда, уже не помню, каким именно: на каждом новом компьютере я просто делаю sudo apt-get install emacs, после чего копирую свою забекапленную директорию .emacs.d в ~. Если вы ещё не выбрали себе стартер-кит, советую обратить внимание на вот этот (немного о нём там).

Итак, после установки емакса, ставим скалу. В директории $SCALA_HOME/misc/scala-tool-support есть директория emacs. Копируем её содержимое в ~/.emacs.d/scala-mode. Качаем новенькую версию ensime-mode и распаковываем её в ~/.emacs.d/ensime. Дальше открываем свой custom.el (init.el для тех, кто не пользуется starter-kit’ами), и добавляем туда следующее:

;; Load scala mode
(add-to-list 'load-path (concat dotfiles-dir "/scala-mode"))
(require 'scala-mode-auto)

;; Load ensime mode
(add-to-list 'load-path (concat dotfiles-dir "/ensime/elisp"))
(require 'ensime)

;; This step causes the ensime-mode to be started whenever
;; scala-mode is started for a buffer.
(add-hook 'scala-mode-hook 'ensime-scala-mode-hook)
(setq exec-path (append exec-path
	(list "/path-to-scala/scala-2.9.0.1/bin" )))

Далее импортируем (или создаём новый) проект: выполняем M-x ensime и следуем инструкциям. После того как ензим создал файл описания проекта (.ensime), выполняем M-x ensime ещё раз, указав расположение нашего нового файла, ждём, когда всё подгрузится и стартанёт. Ензим встретит нас чем-то вроде Hacks and glory await!. Теперь можно смело начинать кодить. Автокомплит вызывается TAB’ом, полный список команд и клавиатурных сокращений — тут.

К слову, список фраз-приветствий энзима можно посмотреть (и дополнить) в файле ensime.el. Стандартное содержание выглядит следующим образом:

;;; Words of encouragement

(defun ensime-user-first-name ()
  (let ((name (if (string= (user-full-name) "")
		  (user-login-name)
		(user-full-name))))
    (string-match "^[^ ]*" name)
    (capitalize (match-string 0 name))))

(defvar ensime-words-of-encouragement
  `("Let the hacking commence!"
    "Hacks and glory await!"
    "Hack and be merry!"
    "May the source be with you!"
    "Death to null!"
    "Find closure!"
    "May the _ be with you."
    "M-x be_cool"
    "CanBuildFrom[List[Dream], Reality, List[Reality]]"
    ,(format "%s, this could be the start of a beautiful program."
	     (ensime-user-first-name)))
  "Scientifically-proven optimal words of hackerish encouragement.")

(defun ensime-random-words-of-encouragement ()
  "Return a string of hackerish encouragement."
  (eval (nth (random (length ensime-words-of-encouragement))
	     ensime-words-of-encouragement)))

Удачи.

Monad Tutorials

2011-08-01T00:00:00-07:00

“A monad in X is just a monoid in the category of endofunctors of X”
© Categories for the working mathematician By Saunders Mac Lane

Одна из самых загадочных и, в то же время, интересных штукенций в мире этого вашего хаскелля для новичка — это, конечно же, монады. Тут сказывается и замысловатое название, и тот факт, что штука эта взята из очень теоретического раздела математики.

Я не буду проходить обряд инициации и писать о них, без меня достаточно написано, что важно, гораздо более умными людьми. Вместо этого, черкну о самих туториалах.

Так вот, как по мне, существующие туториалы по монадам делятся на три группы:

Вырабатывающие интуицию

Такие туториалы обычно рассказывают по очереди об известных монадах Maybe, Either, State, List. Из известных мне отличных туториалов:

Евгений Кирпичёв Монады — помимо разбора стандартных инстансов монад, также описывается интуиция к постоению своих монад.
John Millikin Monad is not difficult
Dan Piponi You could have invented monads — привычные монады не описываются, тем не менее, даётся интуиция для создания “чего-то вроде”.
Burak Emir Monads in Scala

Впрочем, последняя статья скорей проводит параллели между монадными функциями и do-нотацией хаскелля и соответствующими функциями и for-нотацией в скале.

Построенные на ассоциациях

Такие туториалы обычно сравнивают монады с разными более простыми (?) концепциями. Например, с:

Буритос
Слонами (1, 2, 3, 4) — очень годный туториал, имхо.
Космическим костюмом, заполненным радиацией в океане рядом с яблоками (омфг).

В начале такие туториалы действительно воспринимаются лучше, так как глядя на все эти коммутативные диаграммы, становится страшно.

Объясняющие концепции из теорката

Самые годные, но требующие наибольшей концентрации туториалы.

From Functions to Monads in Scala
Haskell/Category theory
Catsters, серии про монады (1, 2, 3, 3A, 4)
Dominic Verity Gentle Introduction to Category Theory
Сюда ещё относится объяснение от Паши, которое ни разу не туториал в привычном виде, но которое мне в каком-то смысле помогло понять цитату в начале поста.

К слову, есть ещё нестандартные туториалы. Например, What a Monad is not. Ну и чтобы по сто раз не писать, есть ещё и таймлайн особо хороших монадных туториалов. Enjoy.

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

Такие дела.