Haskellにてputstrlnとprintの違い

Question

当方Haskellを学び始めた初学者です。
競プロ関係の記事を見ているときに、よく

putStrLn $ show ...

というコードを見かけます。
しかし、少し調べてみると、

print = putStrLn $ show 

という話を聞きました。
つまり、putStrLn $ showはprintと同じ役割をするのでは？という話です。しかし、printに文字列"Hello"を入力すると、出力は"Hello"とクォーテーション付きになります。

これは、文字列にshowを適用すると、クオーテーションを含めた文字列になるということなのでしょうか？

Comments

[igrep]

print = putStrLn $ show
ではなく正しくは
print arg = putStrLn $ show arg
です。引数がないと型エラーになります。

[igrep]

あるいは、
print = putStrLn . show
でもよいです。
. と $ の違いは慣れるまで難しいですが、参考までに。

[RheoTommy]

なるほど。
.は関数合成なので、引数にshowを適用してputstrlnをする 関数を返すということですね。

Answer 1

既に回答されていますが、

引用テキストputStrLn $ showはprintと同じ役割

printの実装がそのとおりになっているので、同じものです。

競技プログラミングで文字列が回答として要求される場合、文字列をprintしてしまうとダブルクォーテーションが付いてしまうことで正解とみなされなくなるため、文字列が最終出力になる場合には私はputStrLnを使っています。

私が昨年書いた記事ですが、中程に記述がありますので、もしよろしければご参考になさってください。
Haskellでオンラインジャッジに取り組むときの入出力（後編：標準出力への出し方）

Comments

[RheoTommy]

わざわざ丁寧にありがとうございます！

Answer 2

putStrLn $ showはprintと同じ役割をするのでは？という話

はい、全く同じです。

これは、文字列にshowを適用すると、クオーテーションを含めた文字列になるということなのでしょうか？

これもそのとおりで、printであれputStrLn . showであれ、文字列に対して適用すると、クオーテーションを含めた状態で出力されます（他にも、ASCII範囲外の文字を与えるとエスケープシーケンスで表示する、といった特徴があります）。

冒頭に挙げられた

putStrLn $ show ...

という例は、単純に著者が間違えたか、あるいは下記のように、

putStrLn $ show 123 ++ " foo"

などと、$以降でshowと組み合わせた別の式を含めた文字列を作成していたからではないかと思います。

Comments

[RheoTommy]

showを多言語（OOP）で言う.toStringだと解釈していたのですが、厳密に言うと異なるようですね…。

文字列にshowしてしまうと正しい結果が帰ってこないことがありそうなので、今後はputstrlnをメインに使おうかと思います。

競プロなどでは出力形式が大事になりますから！

[igrep]

ほかの言語で例えるなら、Rubyのinspectや、Pythonのreprの方が近いです。あくまでデバッグ用の文字列を出すためのメソッドだと考えてください。