我是OCaml的新手,最近在学习程序验证。为了实现,我需要一个Ocaml的库模块,它可以获得另一个Ocaml程序的结果。我希望这个库具有与JAVA中的ProcessBuilder相同的功能。
我想知道有没有给Ocaml的。
发布于 2019-07-24 01:06:49
当然,OCaml提供了facilities来创建进程。下面是一个示例,展示了如何使用Unix.open_process_in函数。
# let input = Unix.open_process_in "echo 'hello, world'";;
val input : in_channel = <abstr>
# input_line input;;
- : string = "hello, world"
# input_line input;;
Exception: End_of_file.您可以派生一个运行任何程序的进程,无论它是用哪种语言编写的。如果希望进程与OCaml数据结构通信,那么可以使用Marshal模块安全地将OCaml值与字符串相互转换。
https://stackoverflow.com/questions/57168908
复制相似问题