ocaml

    1熱度

    1回答

    我使用ocaml_plugin來編寫能夠在運行時評估OCaml表達式的計算器。 這是我的插件界面。 open Ocaml_plugin.Std module type S = sig val f : unit -> float end let univ_constr : (module S) Ocaml_dynloader.Univ_constr.t = Ocaml_

    1熱度

    1回答

    我試圖運行jbuilder install來安裝我剛剛使用jbuilder build @install(它爲我生成了一堆*.install文件)構建的opam軟件包。不過,我得到以下錯誤: $ jbuilder install Sorry, you need the opam-installer tool to be able to install or uninstall packages.

    0熱度

    1回答

    我是ocaml的新手,已經定義了一個類型。 type options = | Rock | Paper | Scissors 我也想定義一個選項列表。這就是我如何努力也 type opts = list options; 梅林給我這個錯誤,當我嘗試過的選項文字列表到函數 任何想法?順便說一句,我特別使用RationalML,但我認爲不重要。 下面是翻譯回oca

    4熱度

    1回答

    當我提取下列Coq的數據類型來OCaml的: Inductive Foo := | A | B. Inductive Bar (f:Foo) := | C | D. Extraction Language Ocaml. Extraction "test.ml" Foo Bar. 我得到以下ML代碼: type foo = | A | B type bar = | C | D

    1熱度

    1回答

    我有一個Ocaml的問題,我試圖從一個集合中刪除一個特定的值,並打印出不包含刪除值的集合。每次我寫這個函數,我都會得到一個錯誤。這是功能。 let ac_ch = ac_change p set in let remove = SS.remove pretty_print ac_ch in remove;; let _= (SS.iter print_endline ac_ch) in l

    0熱度

    1回答

    我一直在努力通過「現代編譯器在ML中的實現」,我將SML轉換爲OCaml。本書定義了一種名爲Tiger的語言,該語言有一個let ... in ... end語法用於爲給定表達式聲明範圍內的類型,變量和函數。此外,相同類型的相鄰聲明應該組合在一起以允許相互遞歸。 我試圖代表這是巨石與下面的文法片段: %right FUNCTION TYPE . . . decs: l = list(d

    3熱度

    1回答

    有沒有一種方法來模式匹配獨立於構造函數arity的構造函數?有時在模式匹配中,我只關心構造函數而不關心與之相關的數據。 我擔心的是,當我在ADT中更改構造函數的構造函數時,我必須通過並更改所有模式匹配,即使丟棄所有「字段」(什麼是正確的術語?)數據構造函數。 假設我有多個構造 (* time * message *) type log_message = Warning of floa

    4熱度

    4回答

    我在OCaml的版本4.04 UTOP定義一個函數f。 utop # let f = function x -> x + 1;; val f : int -> int = <fun> 當我試圖忽略f,我遇到了一個警告。 utop # let a = ignore (f : int -> int); f 2;; Characters 15-19: Warning

    1熱度

    2回答

    我正在爲分配語言構建一個小型編譯器。 考慮以下規則: var_block : | LPAREN var_decl+ RPAREN { var_scope := var_scope + 1 }; 是當var_block最初識別語義動作觸發,或者它觸發一次生產結束時達到(在這種情況下,RPAREN)?

    2熱度

    1回答

    我有一些問題,建立我的OCaml的環境設置,和我下面這個頁面: https://github.com/realworldocaml/book/wiki/Installation-Instructions 不過,我有一些問題,我解決不了。我在macOS 10.12.5上使用zsh。 Brew安裝opam時沒有錯誤或警告。我相信我的問題是環境變量(??)不同步。這裏有一些輸出,當我運行一些建議的命令: