Haskellで純粋な関数がどのように解決されるかの理解

Question

pure 2と入力すると、GHCiで2が返されます。 pure "aa"は"aa"を返します。私はこの申請例がGHCiによって2つまたは「aa」のためにどのように解決されたのだろうか。

Answer 1

GHCiは、ユーザーフレンドリーな魔法を実行します。

タイプが... => f aの式を入力すると、fからIOをインスタンス化しようとします。あなたの場合、IOは申請者（およびモナド）であるため、これが可能です。

第2に、形式が... => IO aのタイプが入力された場合は、IOアクションとして実行されます。

最後に、aがクラスShowの場合、結果が出力されます。あなたのケースでは、"aa"が結果です（タイプaはStringです）ので、GHCiがそれを表示します。