Comment lire un fichier en une série de lignes en F# ?

Question

Il s'agit de la version C# :

public static IEnumerable<string> ReadLinesEnumerable(string path) {
  using ( var reader = new StreamReader(path) ) {
    var line = reader.ReadLine();
    while ( line != null ) {
      yield return line;
      line = reader.ReadLine();
    }
  }
}

Mais la traduction directe nécessite une variable mutable.

Answer 1

Si vous utilisez .NET 4.0, vous pouvez simplement utiliser Fichier.LireLignes .

> let readLines filePath = System.IO.File.ReadLines(filePath);;

val readLines : string -> seq<string>

Answer 2

open System.IO

let readLines (filePath:string) = seq {
    use sr = new StreamReader (filePath)
    while not sr.EndOfStream do
        yield sr.ReadLine ()
}

Answer 3

Pour répondre à la question de savoir s'il existe une fonction de bibliothèque pour encapsuler ce modèle - il n'y a pas de fonction exactement pour cela, mais il existe une fonction qui vous permet de générer une séquence à partir d'un état appelé Seq.unfold . Vous pouvez l'utiliser pour mettre en œuvre la fonctionnalité ci-dessus comme ceci :

new StreamReader(filePath) |> Seq.unfold (fun sr -> 
  match sr.ReadLine() with
  | null -> sr.Dispose(); None 
  | str -> Some(str, sr))

El sr représente le lecteur de flux et est passée comme état. Tant qu'il vous donne des valeurs non nulles, vous pouvez retourner Some contenant un élément à générer et l'état (qui peut changer si vous le souhaitez). Lorsqu'il lit null nous le jetons et le rendons None pour terminer la séquence. Ce n'est pas un équivalent direct, parce qu'il ne dispose pas correctement de StreamReader lorsqu'une exception est levée.

Dans ce cas, j'utiliserais sans aucun doute l'expression de séquence (qui est plus élégante et plus lisible dans la plupart des cas), mais il est utile de savoir qu'elle peut également être écrite à l'aide d'une fonction d'ordre supérieur.

Answer 4

Sur .NET 2/3, vous pouvez le faire :

let readLines filePath = File.ReadAllLines(filePath) |> Seq.cast<string>

et sur .NET 4 :

let readLines filePath = File.ReadLines(filePath);;

Answer 5

Vérifiez cette méthode : File.ReadAllLines

ou vous voulez le traiter ligne par ligne ?