the right stuff

[juan_gandhi]

presentation: http://2013.flatmap.no/blakstad.html
unfiltered library: https://github.com/unfiltered/unfiltered/blob/master/directives/README.markdown

So, the idea is, have all this http run monadic; that includes checking conditions and throwing back all those 404s, 451, 500...

Comments

[mikkim08.livejournal.com]

Спасибо, очень интересно. Я тоже хочу писать как-нибудь вот так. Но есть вопросы:

Как я понял:

1) Result он что-то вроде Either. Это монадная обёртка для результат вычисления. Success это обёртка для успешно вычисленого значения, а Failure -- для кода ошибки.

2) Directive это монадная обёртка для функции HttpRequest => Result, похожая на монаду Reader.

Примеры Directives:

request = req:HttpRequest => Success(req)
method = request(req).map(_.method)
inputStream = request(req).map(_.inputStream)
и т.д.

Благодаря тому, что Result это монада, эти самые функции-"директивы" (Directive) можно "композировать" с помощью >=> , и это хорошо.

Теперь вопросы:

- Зачем нужно придумывать специальную монаду Result, если уже есть Either ?
- С какой целью Directive сам сделан монадой ?
- Если Directive это монада, то почему не использовать монаду Reader ?

[ivan-gandhi.livejournal.com]

Я пробовал Either, но с ней как-то странно, она слишком симметрична; какая разница - левое, правое. А тут - как монада Exception.

Про Directive ничего не скажу, надо разбираться.

[mikkim08.livejournal.com]

Да, с Either не очень удобно. Может, в scalaz есть другой, более удобный, вариант ? Надо будет посмотреть. Но так или иначе, general-purpose Result в узкоспециальной библиотеке мне как-то не очень.

Про директивы есть другое видео : http://2013.flatmap.no/teigen.html

(может, с'ездить в мае на эту конференцию ? регистрация 2К стоит)

[ivan-gandhi.livejournal.com]

В скалазеде есть Validation, но она непрактична.

[mikkim08.livejournal.com]

Может scala.util.Try тогда ? Хоть он и не монада. Я сейчас посмотрел, у нас пишут в таком стиле:

val handle: Response => Try[Value] = { resp =>
  ...
  for {
     - <- isOk(resp)  // returns Try
     - <- isJSON(resp) // returns Try
     result <- getResult(resp)
  } yield result
}

[ivan-gandhi.livejournal.com]

Да, вот и я так хочу писать.