びっくりポン

プロセスを二つ起動しそのプロセス同士をパイプでつないでみる。

let main () =

  let infd, outfd = Unix.pipe () in

  let pid0 =

    Unix.create_process "w3m"

                        [|"w3m"; "-dump"; "http://slashdot.org/"|]

                        Unix.stdin outfd Unix.stderr

  in

    Unix.close outfd;

    let pid1 =

      Unix.create_process "grep"

                          [|"grep"; "from.\\+dept\\."|]

                          infd Unix.stdout Unix.stderr

    in

      ignore (Unix.waitpid [] pid0);

      ignore (Unix.waitpid [] pid1);;



main ();;