utop

    0熱度

    2回答

    例如,有一個測試,如果列表單調遞增函數,源代碼和測試案例是: open Printf let rec mon_inc (numbers : int list) : bool = match numbers with | [] -> true | _ :: [] -> true | hdn :: tln -> (hdn <= (List.hd tln))

    4熱度

    1回答

    在OCaml頂層utop是否可以在會話期間將用戶輸入歷史保存到文件?

    0熱度

    1回答

    我已經寫在OCaml的一些代碼,執行類似於以下 let rec main() = DO STUFF... let print_time() = let time = Unix.localtime (Unix.time()) in let hour = string_of_int (time.Unix.tm_hour) in let m

    0熱度

    1回答

    Emacs的24和Mac OSX小牛,和我的emacs的文件如下: (setq debug-on-error t) ;; -- common-lisp compatibility if not added earlier in your .emacs (require 'cl) ;; -- Tuareg mode --------------------------------------

    2熱度

    1回答

    我無法找到任何有關我可以在utop中使用的頂級指令的文檔。我所能找到的只有this list的默認ocaml頂層支持的指令,但該列表對於utop並不完整,並且丟失了我知道在utop中工作的#typeof等內容。

    1熱度

    2回答

    考慮這個很基本的模塊定義: module type My_test = sig type config with sexp end;; 當我直接進入本就UTOP提示,一切工作正常: utop # module type My_test = sig type config with sexp end;; module type My_test = sig type c

    6熱度

    3回答

    我是Ocaml的新手,剛剛用emacs,merlin和flycheck設置了我的開發環境。除了一件事情之外,一切都會或多或少地發揮作用:merlin似乎無法識別同一項目中模塊之間的依賴關係。 例如我有兩個模塊的測試項目:main.ml和awesome.ml。 這裏是我的main.ml它引用的第二模塊awesome.ml (* main.ml *) open Core module A = Aw

    2熱度

    1回答

    對於新問題,我很抱歉,但我剛剛開始使用OCaml,並且找不到如何使用utop自動補全。 當我開始在utop中輸入內容時,我在shell的底部看到了一系列選項。如果只有一個有效的選擇,按TAB將自動完成我正在寫的內容。但是,如果有多個有效的選擇,並且我找到了我想要的那個,我還沒有找到一種方法來選擇它(除了繼續寫作)。 例如(假設我已導入Core.Std)I型 Float.of 第一個建議是Flo