なぜprintfnはf＃ですぐに印刷されますか？

Question

次のコードを実行すると、mySumから5050が出力されます。私はmySumを定義しましたが、それを呼び出すことはありません。どのようにして印刷することができますか？たぶんこれは私の背景がハスケルであり、物事をやるためにIOモナドを渡すことに慣れていたので、これは変です - どのように/いつF＃で評価されますか？

type main = obj [] -> int 

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


[<EntryPoint>] 
let main argv = 
    0 

Answer 1

私はmySumを定義し、それを呼び出したことがありません。

mySumはパラメータを必要としないため、関数ではありません。関数には少なくとも1つの引数が必要です。 「役に立たない」ものを渡すことができない場合は、通常unitの値()になります。

mySumは値です。具体的には、表現[1..100] |> List.sum |> printfn "%i"の値をmySumという名前にバインドしています。その値は()であり、printfnは副作用の原因となり、unitを返します。値がバインドされるとすぐに式が評価され、残っているのはすべて副作用と実際の値です。機能として

、mySumは次のようになります。

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

そして、単にプリントアウトする価値5050、との戻り値を引き起こす

mySum() 

だろう、それを呼び出すことが()は自動的に無視されます。