Нахожу свой путь через Scalaz

Я бы порекомендовал отличную серию статей Learning scalaz Юджина Йокоты о Scalaz 7. Автор следует Структура Изучайте Haskell во благо. Подход системный и очень педагогический.

Я бы посоветовал не ждать, пока вы почувствуете, что у вас есть общее представление о библиотеке, — просто выберите пару инструментов для начала, а затем следуйте концептуальным ссылкам по мере продвижения.

Validation (кстати, на самом деле не монада), вероятно, лучшее место для начала. Если вы когда-либо использовали Either для проверки в стандартной библиотеке, Validation покажется вам знакомым и гораздо более удобным. Вы найдете множество полезных обсуждений Validation как здесь в StackOverflow и в другом месте.

Как только вы освоитесь с Validation, вы должны иметь хорошее базовое представление о классе типов аппликативных функторов, который полезен во многих других контекстах.

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

В Scalaz есть множество других удобных небольших инструментов, которые можно использовать без необходимости понимать всю общую картину. Bifunctor — один из моих любимых — он делает работу с кортежами намного удобнее, давая вам возможность отобразить функцию на любую сторону:

scala> import scalaz._, Scalaz._
import scalaz._
import Scalaz._

scala> def inc(i: Int) = i + 1
inc: (i: Int)Int

scala> def repeat(n: Int)(s: String) = s * n
repeat: (n: Int)(s: String)String

scala> (inc(_)) <-: (1, "a") :-> repeat(3)
res0: (Int, String) = (2,aaa)

Как только вы хорошо разберетесь с некоторыми из этих концепций, я бы посоветовал вам Typeclassopedia, который ориентирован на Haskell, но делает фантастическую работу, предоставляя вам достаточно теории категорий и абстрактной алгебры, чтобы понять большую часть вещей, которые вы найдете в Scalaz.

Некоторые из видео, которые я нашел полезными:

• Обзор Scalaz от Ника Партриджа и от Джейсон Заугг
• Практический Scalaz Криса Маршалла
• Объективы Эдварда Кметта (5 частей)
• монада Reader Тони Морриса и Рунар Бьярнасон
• Монады состояния Майкла Пилквиста
• Трансформеры Monad от Jordan West

Большинство из них имеют отличные слайды, если вы хардкорщики, то читайте их без видео.

Также изучите чтение подписей Haskell и просмотр Типклассопедия Haskell.

Хотя я никогда никому не откажусь от учебных пособий по Haskell, они могут немного сбить с толку, если вы разработчик в стиле ООП и не знаете, почему вы вообще хотите жить в функциональном мире.

Я выступил с докладом под названием «scalaz For the Rest of Us», который подходит к scalaz через примеры, с которыми все знакомы: мемоизация (Memo в scalaz), проверка домена (Validation в scalaz) и т. д. Таким образом, «вариант использования» ясен. и может начать учиться решать знакомые проблемы, используя мощь scalaz.

• Слайды: http://arosien.github.com/scalaz-base-talk-201208< /а>
• Шпаргалка scalaz для «начала работы»: https://github.com/arosien/scalaz-base-talk-201208/raw/master/scalaz-cheatsheet.pdf