Вот перевод текста на русский язык:

Является ли какой-либо здравомыслящий разработчик способным сказать, какие catchers получат исключения?

Существует слишком много концепций об исключениях при работе с scala.concurrent.Future. Вы должны помнить о различных стратегиях обработки исключений между flatMap, recover, recoverWith и onFailure, а также о разнице между scala.concurrent.Future.failed(new Exception) и scala.concurrent.future { throw new Exception }.

scala.async не делает ситуацию лучше, потому что scala.async будет выдавать ошибки компилятора для каждого await в операторах try.

К счастью, вы можете избавиться от всех этих концепций, если переключитесь на stateless-future. В stateless Futures нет неявного параметра catcher ни в flatMap, ни в map, ни метода onFailure или recover вообще. Вы просто пытаетесь, и всё делается. Смотрите примеры, чтобы узнать это.

Оптимизация хвостового вызова

Оптимизация хвостового вызова является важной функцией для чистого функционального программирования. Без оптимизации хвостового вызова многие рекурсивные алгоритмы потерпят неудачу во время выполнения, и вы получите хорошо известную ошибку StackOverflowError.

Язык Scala предоставляет scala.annotation.tailrec для автоматической оптимизации простых хвостовых рекурсий и scala.util.control.TailCalls для ручной оптимизации сложных хвостовых вызовов.

Проект stateless-future внутренне основан на scala.util.control.TailCalls и автоматически выполняет оптимизацию хвостового вызова в магических блоках Future, без какого-либо дополнительного специального синтаксиса.

Смотрите этот пример. Он просто работает, и никаких ошибок StackOverflowError или OutOfMemoryError не возникает. Обратите внимание, что если вы перенесёте этот пример на scala.async, он вызовет OutOfMemoryError или TimeoutException.

Сравнение

Для Scala существовал плагин продолжения. Плагин продолжения также предоставляет DSL для определения потоков управления, таких как stateless-future или scala.async. Я создал следующую таблицу для сравнения трёх DSL:

Установка Добавьте эти строки в ваш build.sbt, если вы используете Sbt (http://www.scala-sbt.org/):

libraryDependencies += "com.qifun" %% "stateless-future" % "0.1"

stateless-future должен работать со Scala 2.10.3, 2.10.4 или 2.11.0.

Известные проблемы

• Не поддерживаются lazy val в блоке магии Future.
• В некоторых редких случаях (https://github.com/Atry/stateless-future-test/blob/2.10.x/test/src/test/scala/com/qifun/statelessFuture/test/run/match0/Match0.scala#L85), если создать несколько val с одинаковым именем в одном блоке Future, последний val может быть неожиданно использован.
• Некоторые сложные экзистенциальные типы (https://github.com/Atry/stateless-future-test/blob/2.10.x/test/src/test/scala/com/qifun/statelessFuture/test/run/uncheckedBounds/UncheckedBoundsSpec.scala) могут вызывать ошибки компилятора.

Клонируйте stateless-future-test (https://github.com/Atry/stateless-future-test) и запустите тестовые случаи, чтобы проверить эти ограничения.