Pisanie kota w OCaml: użycie Unix.read

Question

Próbuję napisać małe narzędzia, aby przyzwyczaić się do programowania Unix z OCaml. Oto moja próba dla cat:

open Unix ;; 

    let buffer_size = 10 
    let buffer = String.create buffer_size 

    let rec cat = function 
     | [] ->() 
     | x :: xs -> 
     let descr = openfile x [O_RDONLY] 0 in 

     let rec loop() = 
      match read descr buffer 0 buffer_size with 
      | 0 ->() 
      | _ -> print_string buffer; loop() in 
     loop(); 
     print_newline(); 
     close descr; 
     cat xs ;; 


    handle_unix_error cat (List.tl (Array.to_list Sys.argv)) 

Wydaje się, że problemem jest to, że w ostatnim wywołaniu read bufor nie całkowicie wypełnić, ponieważ nie ma nic więcej do czytania, do końca co bufor uprzednio zawarte zostanie również wydrukowany. Przeczytałem kilka przykładowych kodów używając read i nie zdawało się, że używają one String.create za każdym razem, gdy uzupełniają bufor (który w każdym razie nadal wypełnia go pewnymi znakami ...); więc co powinienem zrobić? Dzięki.

Answer 1

Zwrot z Unix.read (który zignorowałeś, z wyjątkiem sprawdzenia dla 0), jest liczbą odczytanych znaków, więc powinieneś używać tylko wielu znaków bufora.

Ale naprawdę, po co zawracać sobie głowę niską zawartością Uniksa? Dlaczego nie używać zwykłych funkcji otwierania i odczytu plików OCaml?