OCaml是一种严格的静态类型函数式编程语言,专注于表达性,正确性和效率。
我在OCAML中写了一个解释器,因此我的Lexer,解析器,核心解释器功能等是Ocaml模块。 当前,我有一个命令行解决方案(一个“ main.ml”),该解决方案允许用户通过在命令行中键入表达式并接收打印的终端输出来与解释器进行交互,以显示解析和减少的表达式等。但是,命令行解决方案仅用于测试目的。 我希望用户通过GUI进行交互,这可能很简单(Java帧从EONS之前想到),但是需要以某种方式与我编码的OCAML模块接口。 到目前为止,我在Ocaml中有一个库:
为了简短,我想将与此类似的OCAML实施到Python中: 让示例=娱乐v opt_n-> 让fltr = fun i-> i mod 2 = 0 让fltr =匹配...
let example = fun v opt_n -> let fltr = fun i -> i mod 2 = 0 let fltr = match opt_n with | None -> fltr | Some n -> fun i -> i mod n = 0 && fltr(n) fltr v
LETrec filterslist2fromlist1(list1:字符串列表)(list2:字符串列表):字符串list = 让Finallist = []在 匹配List1与 | S :: TL->如果List.mem S List2 = true 然后Finallist @...
我有两个库: lib/ 沙丘 src.ml src.mli 测试/ 沙丘 test.ml 这两个都是库,我在测试库中使用ppx_inline_test进行测试,因为我不希望它们...
使用传统的顺序还原方法,以下图缩小为: (+(+ 1 2)(+ 3 4)) - > (+ 3(+ 3 4)) - > (+ 3 7) - > 10 不过,降低图形本质上是Pa ...