Почему printfn печатает сразу в f #?

Question

Когда я запускаю следующий бит кода, я получаю 5050 от mySum. Я определил mySum, но никогда не вызывал его. Как он может печатать вообще? Возможно, это странно, потому что мой фон - Haskell, и я привык передавать монаду IO, чтобы что-то делать - как/когда вещи оцениваются в F #?

type main = obj [] -> int 

let mySum = [1..100] |> List.sum |> printfn "%i" 


[<EntryPoint>] 
let main argv = 
    0 

Answer 1

Я определил mySum, но никогда не вызывается его.

mySum не является функцией, так как он не принимает никаких параметров. Функция должна иметь хотя бы один аргумент; если ничего «полезного» не может быть передано, что обычно будет unit значение ().

mySum - значение; более конкретно, вы связываете значение выражения [1..100] |> List.sum |> printfn "%i" с именем mySum. Это значение, в свою очередь, составляет (), так как printfn вызывает только побочный эффект и возвращает unit. Выражение оценивается немедленно, когда значение привязано, и все, что остается, - это побочный эффект и фактическое значение.

Как функция, mySum будет выглядеть следующим образом:

let mySum() = [1..100] |> List.sum |> printfn "%i" 

И называть это будет просто

mySum() 

Это вызвало бы значение 5050 быть распечатаны, а возвращаемое значение () будет автоматически игнорироваться.