Ошибка компиляции типа с кортежем

Question

Этот код составлен:

let swap_tuple (a, b) = (b, a)

let result = swap_tuple ("one", "two") 
printfn "%A" result

Этот код выдает ошибку компиляции:

let swap_tuple (a, b) = (b, a)

printfn "%A" swap_tuple ("one", "two") 

error FS0001: Type mismatch. Expecting a     'a -> 'b -> 'c     but given a     'a -> unit     The type ''a -> 'b' does not match the type 'unit'

Что не так во второй версии?

Answer 1

Во второй версии ваша строка формата имеет только один спецификатор формата, но в оператор printfn добавлено два. Вы должны использовать () для группировки swap_tuple с его аргументами в один аргумент.

let swap_tuple (a, b) = (b, a)

printfn "%A" (swap_tuple ("one", "two") )

Answer 2

В качестве альтернативы ответу Джимми вы также можете использовать операторы конвейера:

printfn "%A" <| swap_tuple ("one", "two")

или

("one", "two")
|> swap_tuple
|> printfn "%A"