В чем разница между let add1 x = x + 1
и let add2 x = x +1
. Случайное удаление пространства изменило тип функции из val add1: x:int->int
to val add2: x:(int → 'a) → 'a
Насколько я понимаю, первый оператор типа говорит add1
maps int
int
. Но в чем смысл второго.
Ну, 'a
представляет общий тип, но как функция 'add2'
возвращает общий?
Спасибо за вашу помощь.