F＃：printf vs Console.WriteLine

Question

私はf＃対話型ウィンドウで遊んでいて、printfが期待どおりに動作しないことを発見しました。私は期待どおりに動作しますConsole.WriteLineをするのprintfを変更する場合は、次のスニペットでは、ReadLineメソッドは、最初のprintf

let run() = 
    printf "What is your name?" 
    Console.Out.Flush() 
    let value = System.Console.ReadLine() 
    printf "Hello, %s, nice to meet you!" value 

run() 

前に実行されます。

let run() = 
    Console.Out.WriteLine "What is your name?" 
    Console.Out.Flush() 
    let value = System.Console.ReadLine() 
    printf "Hello, %s, nice to meet you!" value 

run() 

printfでは何が起こっていますか？ readlineの前に印刷することができるflushコールはありますか？私が使用するはずのf＃readlineはありますか？

----------------- [編集] --------------------

読んだ後Fyodor Soikinの答え、私は検証するために以下を試みた。確かに、スクリーンに印刷されたものはHelloであり、何らかの入力をした後にはWorldと表示されました。

open System 
let run() = 
    printf "Hello\n World" 
    let value = System.Console.ReadLine() 
    let msg = sprintf "Hello, %s, nice to meet you!" value 
    printf "%s" msg 
run() 

Answer 1

printfConsole.Writeに相当し、printfnはConsole.WriteLineと等価です。同等でない関数を比較しています。

printfをprintfnに置き換えると、ご使用の例が正常に動作します。

---

なぜそれがこれは単にFSI機能の方法ですprintfとConsole.Write
では動作しません：あなたのプログラムは、改行を生成するまでには、出力ウィンドウにテキストを印刷しません。それにはやや良い動機があります.FSIがすぐに文章を印刷すると、中間情報を独自の出力で出力する可能性があります。

Console.Flushと呼ぶことは関係ありません。プログラムがFSIで実行されているときに、実際にコンソールに直接アクセスすることはなく、FSIの独自のフィルタを経由します。 FSIはすぐにあなたの入力を受け取ります（つまり、Flushに電話する必要はありません）、すぐにそれを印刷しません（上記参照）。

FSIではなくプログラムを単独で実行すると、期待どおりに出力がレンダリングされます。