首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >如何在OCaml中获取OCaml程序的结果?(即JAVA中ProcessBuilder的OCaml版本)

如何在OCaml中获取OCaml程序的结果?(即JAVA中ProcessBuilder的OCaml版本)
EN

Stack Overflow用户
提问于 2019-07-24 00:51:45
回答 1查看 41关注 0票数 0

我是OCaml的新手,最近在学习程序验证。为了实现,我需要一个Ocaml的库模块,它可以获得另一个Ocaml程序的结果。我希望这个库具有与JAVA中的ProcessBuilder相同的功能。

我想知道有没有给Ocaml的。

EN

Stack Overflow用户

回答已采纳

发布于 2019-07-24 01:06:49

当然,OCaml提供了facilities来创建进程。下面是一个示例,展示了如何使用Unix.open_process_in函数。

代码语言:javascript
运行
复制
# 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值与字符串相互转换。

票数 2
EN
查看全部 1 条回答
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/57168908

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档