"int -> int -> int" Что это значит в F #?

Question

Интересно, что это значит в F #.
«функция, принимающая целое число,
которая возвращает функцию, которая принимает целое число и возвращает целое число».
Но я не очень хорошо понимаю.
Кто-нибудь может объяснить это так ясно?

[Update]:

> let f1 x y = x+y ;;

 val f1 : int -> int -> int

Что это значит?

Answer 1

Пример:

let f b a = pown a b //f a b = a^b

- это функция, которая принимает int (показатель степени) и возвращает функцию, которая возвращает свой аргумент этому показателю, например

let sqr = f 2

или

let tothepowerofthree = f 3

так

sqr 5 = 25

tothepowerofthree 3 = 27