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