-> (a -> a)
Эта функция берет первое значение (тот, который не в скобках) с типом a. Потом это первое значение запоминается, и выполняется то, что в скобках. Из второго аргумента варится третье значение (третья a). Потом третье значение решает дела с самым первым значением, которое запомнилось. И делается функция. Так что-ли?
Похоже на правду
function (x: a) { return function (y: a) { return что-нибудь типа a }}
Обсуждают сегодня