Ich möchte Funktionen schreiben und das Ergebnis in eine Zeichenfolge schreiben.
Ich möchte Funktion:
%Vor%Ich benutze:
%Vor%Ich mache:
%Vor%Ich möchte str fragen ist String oder nicht?
Wir wissen das:
%Vor%Dann warum kann ich nicht:
%Vor%Ich bekomme den Fehler:
%Vor%Danke.
Ich denke, niemand hat diese sehr wichtige Frage schon beantwortet:
Ich möchte str fragen ist String oder nicht?
Ich werde es versuchen.
Der Typ der Variable str ist String , yes.
Der Umfang dieser Variablen ist jedoch sehr begrenzt. Ich denke, Entschuldigung der do-Notation ist notwendig für das Verständnis:
Ich denke hier wird es klarer, warum str nicht gut genug ist. Es ist ein Argument der Funktion, die Sie an >>= übergeben. Sein Wert wird nur verfügbar, wenn jemand Ihre Funktion aufruft, was nur geschieht, wenn die IO -Aktion, die ihn enthält, ausgeführt wird.
Auch der Typ von read' :: IO () wird nicht so sehr von putStrLn str , sondern vom Rückgabetyp des Operators >>= bestimmt. Schau es dir an (spezialisiert auf die IO monad):
Sie können sehen, dass das Ergebnis immer eine Aktion IO b ist, daher hilft es auch nicht, Argumente zu ändern.
Sie können einige Monad Tutorials lesen, wenn Sie verstehen möchten, warum der Typ so ist wie er ist. Die Intuition dahinter ist: Sie können keine Aktion ausführen, ohne eine Aktion auszuführen.
Und auf der praktischen Seite der Frage, um den von einer Aktion zurückgegebenen Wert zu verwenden, anstatt use (extractValue inputAction) zu versuchen, was nicht Sinn macht, weil extractValue nicht möglich ist, versuchen Sie inputAction >>= use , wenn Ihre use betrifft I / O, oder fmap use inputAction , wenn dies nicht der Fall ist.
Nur um ein bisschen mehr zu streiten, während die anderen Antworten vollkommen korrekt sind, möchte ich etwas betonen: Etwas mit dem Typ IO String ist nicht nur eine Zeichenkette, auf die das Typsystem nicht direkt zugreifen kann. Es ist eine Berechnung, die I / O ausführt, um eine Zeichenfolge für Sie zu erhalten . Das Anwenden von readFile auf einen Dateipfad ergibt keinen String -Wert mehr als das Steak neben einem Fleischwolf zu einem Hamburger zu verwandeln.
Wenn Sie einen Code wie diesen haben:
%Vor% Das heißt nicht, dass du " getStr zweimal aus der Zeichenfolge entfernst". Es bedeutet, dass Sie die Berechnung zweimal durchführen und leicht unterschiedliche Ergebnisse zwischen den beiden erhalten können.
Sie sollten return str in read' verwenden, wenn Sie möchten, dass str anstelle von () zurückgegeben wird. Sie können IO nicht vom Typ read' entfernen, da dies keine reine Funktion ist. Um besser zu verstehen, wie Input / Output in Haskell funktioniert, empfehle ich Ihnen, ein Tutorial zu lesen .
Ich möchte Funktionen schreiben und das Ergebnis in eine Zeichenfolge schreiben.
Ich möchte Funktion:
%Vor%Ich benutze:
%Vor%Ich mache:
%Vor%Ich möchte str fragen ist String oder nicht?
Wir wissen das:
%Vor%Dann warum kann ich nicht:
%Vor%Ich bekomme den Fehler:
%Vor%Danke.
Nur um ein bisschen mehr zu streiten, während die anderen Antworten vollkommen korrekt sind, möchte ich etwas betonen: Etwas mit dem Typ unsafePerformIO ist nicht nur eine Zeichenkette, auf die das Typsystem nicht direkt zugreifen kann. Es ist eine Berechnung, die I / O ausführt, um eine Zeichenfolge für Sie zu erhalten . Das Anwenden von %code% auf einen Dateipfad ergibt keinen %code% -Wert mehr als das Steak neben einem Fleischwolf zu einem Hamburger zu verwandeln.
Wenn Sie einen Code wie diesen haben:
%Vor%Das heißt nicht, dass du " %code% zweimal aus der Zeichenfolge entfernst". Es bedeutet, dass Sie die Berechnung zweimal durchführen und leicht unterschiedliche Ergebnisse zwischen den beiden erhalten können.
Als einen ausführlicheren Grund warum: Es erlaubt Unreinheit.
Sie können während einer reinen Operation absolut keine IO ausführen oder die referenzielle Transparenz vollständig durchbrechen. Technisch können Sie %code% verwenden, aber es würde in diesem Fall referentielle Transparenz brechen - Sie sollten das nur verwenden, wenn Sie garantieren können, dass das Ergebnis immer gleich ist.
Sie sollten %code% in %code% verwenden, wenn Sie möchten, dass %code% anstelle von %code% zurückgegeben wird. Sie können %code% nicht vom Typ %code% entfernen, da dies keine reine Funktion ist. Um besser zu verstehen, wie Input / Output in Haskell funktioniert, empfehle ich Ihnen, ein Tutorial zu lesen .
Ich denke, niemand hat diese sehr wichtige Frage schon beantwortet:
Ich möchte str fragen ist String oder nicht?
Ich werde es versuchen.
Der Typ der Variable %code% ist %code% , yes. Der Umfang dieser Variablen ist jedoch sehr begrenzt. Ich denke, Entschuldigung der do-Notation ist notwendig für das Verständnis:
%Vor%Ich denke hier wird es klarer, warum %code% nicht gut genug ist. Es ist ein Argument der Funktion, die Sie an %code% übergeben. Sein Wert wird nur verfügbar, wenn jemand Ihre Funktion aufruft, was nur geschieht, wenn die %code% -Aktion, die ihn enthält, ausgeführt wird.
Auch der Typ von %code% wird nicht so sehr von %code% , sondern vom Rückgabetyp des Operators %code% bestimmt. Schau es dir an (spezialisiert auf die %code% monad):
%Vor%Sie können sehen, dass das Ergebnis immer eine Aktion %code% ist, daher hilft es auch nicht, Argumente zu ändern.
Sie können einige Monad Tutorials lesen, wenn Sie verstehen möchten, warum der Typ so ist wie er ist. Die Intuition dahinter ist: Sie können keine Aktion ausführen, ohne eine Aktion auszuführen.
Und auf der praktischen Seite der Frage, um den von einer Aktion zurückgegebenen Wert zu verwenden, anstatt %code% zu versuchen, was nicht Sinn macht, weil %code% nicht möglich ist, versuchen Sie %code% , wenn Ihre %code% betrifft I / O, oder %code% , wenn dies nicht der Fall ist.