Eine Dateizeile pro Zeile lesen und jede gelesene Zeile in einer einzigen Liste speichern

Question

Ich bin Student und habe eine Übung erhalten, mit der ich seit ungefähr einem Monat zu kämpfen habe. Ich versuche eine Funktion in Ocaml zu schreiben. Diese Funktion muss eine Textdatei lesen, die ein Wort pro Zeile enthält, und sie muss alle Wörter in einer Liste speichern. Aber das Problem ist, dass dieses Programm eine rekursive sein muss (was bedeutet, keine Schleifen, keine "während").

Alles, was ich habe in der Lage gewesen, so weit zu tun ist, um eine Funktion zu erstellen, die die Textdatei (ziemlich ähnlich wie der BASH Befehl „cat“) Ich weiß es einfach nicht

let dico filename = 
    let f = open_in filename in 
    let rec dico_rec() = 
    try 
     print_string (input_line f); 
     print_newline(); 
     dico_rec(); 
    with End_of_file -> close_in f 
    in dico_rec() ;; 

liest, wie man TU es. Ocaml ist kaum meine Lieblingssprache.

Answer 1

open Printf 

let file = "example.dat" 

let() = 
    let ic = open_in file in 
    let rec build_list infile = 
      try 
       let line = input_line infile in 
       line :: build_list(infile) 
      with End_of_file -> 
       close_in infile; 
       [] in 
    let rec print_list = function 
      [] ->() 
      | e::l -> print_string e ; print_string " " ; print_list l in 
    print_list(build_list(ic)) 

Edit: Der Algorithmus, den ich zuvor wurde vorgeschlagen unnötig kompliziert. Versuchen Sie stattdessen, dieses zu verstehen.

Um diese Rekursion zu verstehen, gehen wir davon aus, dass build_list korrekt funktioniert. Nehmen wir an, dass build_list eine geöffnete Datei korrekt als Argument akzeptiert und eine Liste von Zeilen in der Datei zurückgibt.

Nun schauen wir uns den Körper der Funktion an. Es liest eine Zeile aus der Datei und ruft erneut build_list auf. Wenn in der Datei N Zeilen vorhanden sind, sollte der Aufruf von build_list erneut eine Liste der verbleibenden N-1 Zeilen in der Datei zurückgeben (da wir gerade die erste Zeile selbst gelesen haben). Wir fügen die Zeile, die wir gerade gelesen haben, an die von build_list zurückgegebene Liste an und geben die resultierende Liste zurück, die alle N Zeilen enthält.

Die Rekursion wird fortgesetzt, bis sie den Basisfall erreicht. Der Basisfall ist, wenn es ein End_of_file gibt. In diesem Fall geben wir eine leere Liste zurück.

Answer 2

Hier ist eine alternative Definition von build_list, die Tail rekursiv ist. Sie können es anstelle der @ MitchellGouzenko-Definition verwenden, wenn Ihre Eingaben viele Zeilen haben können.

let rec build_list l = 
    match input_line ic with 
    | line -> build_list (line :: l) 
    | exception End_of_file -> close_in ic; List.rev l