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: