Первая строка это АННОТАЦИЯ функции, объявляющая типы ее аргументов и вычисляемого значения. Стрелками показывается преобразование от одного типа к другому, при этом последняя стрелка указывает на тип результата вычисления. В аннотации к функции map не объявляются конкретные типы, здесь a и b это параметрические переменные, которые могут обозначать абсолютно любой тип (а-ля дженерики)
Дано массив const a = [3, 3, 5, 1, -1, 2]. Выбрать числа больше 0 и отобразить результирующий массив в строку, состоящую из "a", повторенную это число раз