我正在測試Camlp4中的報價。我tester.ml程序如下： open Camlp4.PreCast;;
let x = <:Cstm< x = 1 + 2 >>;;
let y = <:expr< let y = 1 + 2 >>;;
print_string "done";;
我曾嘗試以各種方式編寫本，如。 ocamlc -pp "camlp4of pa_extend.cmo -l
安裝npm和node，編譯OCaml的文件與js_of_ocaml了錯誤後，因此我做了opam switch reinstall system： :testweb $ opam switch reinstall system
Your system compiler has been changed. Do you want to upgrade your OPAM installation ?
我正在寫一些與一些combinatorics實用程序的小腳本。當我需要0或1這樣的數字文字時，我使用_0和_1，但這種解決方案並不理想。是否可以使用Camlp4在給定的上下文中重新解釋數字文字，或者是否添加具有專用後綴的新數字文字類型？ open Num
let zero = num_of_int 0
let one = num_of_int 1
let _0 = zero
let _1
我有一個源代碼如下。我不明白它的語法。 [g | t <- ts; g <- symbols t]很奇怪。請幫我解釋一下，或者推薦任何與之相關的書籍或文件。非常感謝 type term = V of string | F of string * term list
let rec symbols = function
| V x -> [x]
| F (f, ts) ->