ocaml

    1热度

    2回答

    我有一个虚拟超类和子类从它继承。在下面的是我的情况一个简单的例子: class virtual super = object(self) method virtual virtualSuperMethod : super end;; class sub = object(self) inherit super method subMethod y = y

    2热度

    3回答

    我刚开始使用Go进行简单的Web编程项目,但我无法完全弄清楚如何在单个函数中实现简单的预计算。这是我在OCaml中做的相当频繁,如: (* maybe render_page is a handler function for an HTTP server or something *) let render_page = (* let's say that Template.prep

    3热度

    1回答

    我试图在Ubuntu 17.04(Zesty)上从repository(6aa64)安装Frama-C gui Phosphorus。 Frama-C opam可以很好地工作,但是据我所知,它缺少GUI +我可能稍后想要修补frama-C,所以我希望能够自己编译它。 第一步: ./configure --enable-gui --enable-verbosemake 生成输出: configu

    -1热度

    1回答

    我想使字符串“t1”,“t2”,“t3”,...等等。 所以我做了这样的 设I = 0; ... (东西) - >让Z = “t” 的^ string_of_int第(i + 1) 我的意思是每一个程序进入时间(东西),我增加了。 ,因为当程序进入时(某些东西)我必须创建新的字符串。 但它有语法错误 我该怎么办?

    4热度

    1回答

    (I使用OCaml的版本4.02.3) 予定义的类型self # type self = Self of self;; type self = Self of self 和它的实例s # let rec s = Self s;; val s : self = Self <cycle> 由于OCaml is a strict language,我预期限定s将陷入无限递归。但口译员说s有一

    0热度

    1回答

    我无法从书籍Real World OCaml运行一些代码。代码片段位于github。具体地讲,我得到一个类型的错误在第6行: List.Assoc.find counts line 我使用OCaml的4.04.1和根据UTOP,的List.Assoc.find类型签名是: ('a, 'b) List.Assoc.t -> equal:('a -> 'a -> bool) -> 'a -> 'b o

    4热度

    1回答

    https://facebook.github.io/reason/modules.html#modules-basic-modules I don’t see any import or require in my file; how does module resolution work? Reason/OCaml doesn’t require you to write any impo

    2热度

    1回答

    我下面这个OCamlbuild example,并据此创建了下面的Makefile: OCB_FLAGS = -use-ocamlfind -I src -I lib OCB = ocamlbuild $(OCB_FLAGS) check: ocamlfind query core async clean: $(OCB) -clean byte: $(OCB) main.byte na

    0热度

    1回答

    如何使用switch运算符而不是大型运算符if/else? type token = | DOT | OPEN_BRACKET | SYMBOL; let dot_code = ".".[0] |> Char.code; let open_bracket_code = "{".[0] |> Char.code; let char_to_token symbo

    0热度

    1回答

    因此,我使用的是Mac OS X Yosemite 10.10.5。我需要使用OCaml 3.08.3来运行someone else's code(该代码不会运行最新版本的OCaml ...),并且我下载了.dmg文件here。安装似乎是罚款,但每当我在终端运行命令“ocaml的”,我得到 -bash: /usr/local/bin/ocaml: /usr/local/bin/ocamlrun: