Edit: Was ist der Unterschied zwischen dem Lesen eines Backslashs aus einer Datei und dem Schreiben in das interaktive Fenster und dem direkten Schreiben der Zeichenfolge in das interaktive Fenster?
Zum Beispiel
let toto = "Adelaide Gu\u00e9nard"
toto;;
das interaktive Fenster druckt "Adelaide Guénard".
Wenn ich nun eine txt-Datei mit der einzelnen Zeile Adelaide Gu speichere \u00e9nard . Und lesen Sie es ein:
System.IO.File.ReadAllLines(@"test.txt")
Das interaktive Fenster druckt [|"Adelaide Gu \u00e9nard "|]
Was ist der Unterschied zwischen diesen 2 Anweisungen in Bezug auf das Drucken im interaktiven Fenster?