да банальщина в общем-то: хочется избавиться от кучи вложенных flatMapов, чтоб была возможность сделать, скажем, так

def foo: Option[Int] = Some(5)
def bar: Future[Int] = Future.successful(5)

for {
 f <- foo
 b <- bar
} yield f + b

ну это да, это трансформеры

Покурю, спасибо

привет, есть такая валидная форма записи типа AnyRef { type Tag = String}. Как ее понять?)) Т.е. есть простые типы: String, Int; есть type constructors: List[T], Option[T]; есть higher-kinded types: Functor[X[_]] и т.д. Про них много написано, и форма записи там понятная: [ ]. Здесь же, мы прибавляем к имени типа блок {...}, который (как я понимаю) не переживет type erasure. Но главное, что я понимаю абстракцию, назначение и синтаксис type constructors и  higher-kinded types, а это не понимаю. Помогите, пожалуйтса

Привет! Это dependent type

точнее type member. но используется чрезвычайно чаще для dependent type

*часто

например если есть trait A { type B }  то можно писать def foo(a: A): a.B

то есть возвращаемый тип зависит от значения

кстати, насколько я понял, в дотти именно через него (под капотом) будут выражаться те же дженерики

да

Ну это же не депендент тайпы. Депендент тайпы это когда они внутри определены. Здесь же просто говорится что внутри типа есть ссылка на другой тип. Где он определен (внутри - депендент тайп или ссылка на любой другой тип извне) это не важно

был недавно прикольный доклад про это

ща скину

Там есть примеры и сравнения

Если говорить про AnyRef { type Tag = String }, то это позволяет пихнуть такой инстанц в def x(value: AnyRef { type Tag }) 

а внутри обращаться к этому типу через value.Tag