我有一个简单的命令行OCaml应用程序，它对Sys.argv.(1)执行计算并将结果输出到stdout。我可以用js_of_ocaml把它编译成Javascript，但它给了我很多关于caml_ml_output_char未定义的错误。我通过清除printfs修复了这些错误，所以它运行了，但它在运行时冻结了firefox。
如何将简单的OCaml命令行脚本干净地编译成基于Javascript的网页；而不维护分叉版本或冻结浏览器？
您可能想要使用webworker，因为在UI线程中运行不是围绕Javascript的协作多任务设计的软件可能会导致浏览器锁定。您可以将以下标题添加到OCaml文件的顶部，以重载正常的OCaml-Sys和打印实现
(* JsHeader.ml *)
let output_buffer_ = Buffer.create 1000
let flush x=let module J = Js.Unsafe in let () = J.call
(J.variable "postMessage") (J.variable "self")
[|J.inject (Js.string (Buffer.contents output_buffer_))|]
in Buffer.clear output_buffer_
let print_string = Buffer.add_string output_buffer_
let print_char = Buffer.add_char output_buffer_
let print_newline () = print_char 'n'
let print_endline s = print_string (s^"n"); flush ()
let caml_ml_output_char = print_char
let printf fmt = Printf.bprintf output_buffer_ fmt
module Printf = struct
include Printf
let printf fmt = Printf.bprintf output_buffer_ fmt
end
传递命令行参数最自然的方式是通过发送给web工作人员的URL。我们可以重写Ocaml-Sys模块，将?argv读取为以null结尾的字符串序列。
module Sys = struct
let char_split delim s = (*Str.split is overkill*)
let hd = ref "" in let l = ref [] in
String.iter (fun c ->
if c = delim
then (l := (!hd)::(!l); hd := "")
else hd := (!hd) ^ (String.make 1 c)
) s;
List.rev ((!hd)::(!l))
let getenv x = List.assoc x Url.Current.arguments
let argv = Array.of_list (char_split 'x00' (getenv "?argv"))
let executable_name = argv.(0)
end
现在我们已经输入了标题，我们可以输入一个简单的OCaml命令行程序：
(* cli.ml *)
let _ = print_string (Array.fold_left (^) "" (Array.make 40 (String.lowercase (Sys.argv.(1)^"n"))) )
这个命令行程序依赖于操作系统来刷新输出，但我们必须手动刷新输出。您可能还想发送一个null字符，以便Javascript知道命令已经完成。这可以通过添加以下页脚来实现。
(* JsFooter.ml *)
let _ = flush stdout; print_endline "x00"
我们可以将这些文件连接起来，并按如下方式编译它们：
cat JsHeader.ml cli.ml JsFooter.ml > merged.ml
ocamlbuild -use-menhir -menhir "menhir"
-pp "camlp4o -I /opt/local/lib/ocaml/site-lib js_of_ocaml/pa_js.cmo"
-cflags -I,+js_of_ocaml,-I,+site-lib/js_of_ocaml -libs js_of_ocaml
-lflags -I,+js_of_ocaml,-I,+site-lib/js_of_ocaml merged.byte
js_of_ocaml merged.byte
现在我们已经创建了文件merged.js，我们可以将javascript封装在一个简单的网页中，例如：
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml+xml; charset=UTF-8" />
<title>ml2js sample_cli</title>
<script type="text/javascript">
<!--
var worker;
function go () {
var output=document.getElementById ("output");
var argv = encodeURIComponent("/bin/sample_cli "+document.getElementById ("input").value);
if (worker) {
worker.terminate();
}
worker = new Worker ("sample_cli.js?argv="+argv);
document.getElementById ("output").value="";
worker.onmessage = function (m) {
if (typeof m.data == 'string') {
if (m.data == " n") {
output.scrollTop = output.scrollHeight
} else {
output.value+=m.data;
}
}
}
}
//-->
</script>
</head>
<body onload=go()>
<textarea id="input" rows="2" cols="60" onkeyup="go()" onchange="go()" style="width:90%">SAMPLE_INPUT</textarea>
<button onclick="go()">go</button><br>
<textarea id="output" rows="0" cols="60" style="width:100%;height:90%" readonly onload=go()>
Your browser does not seem to support Webworkers.
Try Firefox, Chrome or IE10+.
</textarea>
</body>
</html>
请参阅http://www.dansted.org/app/bctl-plain.html该方法的一个实例，以及https://github.com/gmatht/TimeLogicUnify/blob/master/ATL/js/webworker/ml2js.sh对于附加适当页眉、页脚等的脚本，
您使用的js_of_ocaml版本是什么？caml_ml_output_char不应该出现错误。在节点上运行时，应该正确设置sys.argv。在浏览器中，Sys.argv设置为[|"a.out"|]。请在上打开GitHub问题https://github.com/ocsigen/js_of_ocaml/issues/new如果你对此还有意见的话。