Используется структура StructuredFormat из F # PowerPack. Для вашей строки это эффективно делает printfn toto;;
.
Вы можете добиться такого же поведения в текстовом файле следующим образом:
open System.IO;;
File.WriteAllText("toto.txt", toto);;
Кодировка по умолчанию, используемая File.WriteAllText
, - UTF-8. Вы должны иметь возможность открыть toto.txt в Блокноте или Visual Studio и правильно увидеть его.
Редактировать: Если бы я хотел записать содержимое test.txt в другой файл на чистой интерактивной печати F #, как бы я поступил?
Похоже, что fsi слишком умна при печати содержимого test.txt. Он форматирует его как допустимое выражение F # с кавычками, [| |]
скобками и экранированием символа Юникод. Строка, возвращаемая File.ReadAllLines
, не содержит ничего из этого; он просто содержит слова Аделаида Геннард .
Вы должны быть в состоянии взять массив, возвращенный File.ReadAllLines
, и передать его в File.WriteAllLines
без искажения содержимого.