ocaml

    3热度

    1回答

    在OCaml中有一种方法可以使函数内的变量保持函数调用之间的值吗?它应该像Pythons默认参数一样工作,该参数是每个函数调用中对同一对象的引用,或者函数应该产生并且不显式返回值。效果应该如下(如果函数返回自然数): foo();; 0 foo();; 1

    2热度

    2回答

    我正在开发一个简短的项目,将小程序从python转换为java,反之亦然。 我创建了以下代码,并在utop中进行了测试。 let c = let x = "for (int i = 0; i<10; i++)" and y = "for i in range(0,10):" in function | x -> y | y -> x | _ -> "Oh no!!";; 出于某种原

    0热度

    1回答

    我将如何继续证明这两个函数的输入是否正确?我对这个问题有点失落。 let rec reduce f lst u = match lst with | [] -> u | (h::t) -> f h (reduce f t u) let rec forall2 p l1 l2 = match (l1,l2) with | ([],[]) -> t

    2热度

    1回答

    我想编写一个类似的集合如下。 signature COMPARABLE_SET= sig type 'a set val empty: 'a set val insert: 'a * 'a set -> 'a set val member: 'a * 'a set -> bool end 我需要限制元件在“的一组类型是可比较:(存在与类型的函数:'a

    0热度

    1回答

    我在OCaml的一个函数,它应该合并两个列表: let rec merge (list1, list2) = match (list1, list2) with ([], []) -> merge (List.tl list1, List.tl list2) :: List.hd list1 :: List.hd list2 |(_, []) -> merge (

    1热度

    1回答

    我有一个testFactory类。其目的是为了能够通过工厂,然后安排结果进行演示。到目前为止,当试图在测试方法中调用createProductA时,编译器会抱怨createProductA是未绑定的(Unbound value createProductA)。 什么是在类中调用方法的正确语法? class testFactory (factory: abstractFactory) => {

    1热度

    1回答

    当一个声明了一个类型不绑定到任何东西会发生什么: type a_type type b_type let a : a_type = (* ? *) 我就遇到了这个在阅读BuckleScript FFI manual。结合一个JS对象的代码看起来是这样的: type t external create_date : unit -> t = "Date" [@@bs.new] let d

    2热度

    1回答

    我试图建模一个“异构树”,即。一棵树,其中节点具有不同的“种”,每个“种”在孩子们的“种”被限制它们可能包含: type id = string type block type inline type _ node = | Paragraph : id * inline node list -> block node | Strong : id * inline nod

    0热度

    2回答

    我试图在Ubuntu 16.04.3在VirtualBox上设置OCaml。我对他们都是新手;请原谅我的无知。我使用 wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin 安装opam,并根据以下的opam安装说明添加 . /home/<username

    1热度

    1回答

    我是OCaml的新手,我试图安装cohttp。因为我没有接受Xcode许可协议(OS X Sierra 10.12 0.6)我得到一个错误,而包管理器(OPAM)正试图安装一个子依赖性,ocamlfind =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [ERROR] The compila