Довольно часто в сигнатурах функций и классов в Scala можно увидеть что-то вроде def func[F[_]](...), что у многих поначалу вызывает затруднения при чтении соответствующего кода. Данная конструкция делает следующий шаг в параметризации типов: func[F[_]](...) - это функция, параметризованная типом, который, в свою очередь, тоже зависит от некоторого типового параметра. Предпосылки этой абстракции лаконично (особенно для первого знакомства) описаны в следующей статье.

Scala bin

Довольно часто в сигнатурах функций и классов в Scala можно увидеть что-то вроде def func[F[_]](...), что у многих поначалу вызывает затруднения при чтении соответствующего кода. Данная конструкция делает следующий шаг в параметризации типов: func[F[_]](...) - это функция, параметризованная типом, который, в свою очередь, тоже зависит от некоторого типового параметра. Предпосылки этой абстракции лаконично (особенно для первого знакомства) описаны в следующей статье.

Medium

Understanding F[_] in Scala

Climbing up the ladder of abstraction

hottg.com/scalabin/29

133 viewsDec 12, 2018 at 14:08