我最終試圖做的事情是1)限制對模塊(因此mli文件)的可見性和2)定義一個函子,其中參數具有「規範實現「,它作爲一個ml/mli對生活在源碼樹中,並堅持參數具有與此規範實現相同的形狀。 假設我有一個包含字符串連接 (* concat.ml *)
type t = string
let concat x y = x^y
單一功能的文件concat.ml和我有一個接口,它 (* concat.
我已經開始閱讀Thinking Forth。在這本書中,作者提到了一個三行模塊系統,並參考了Forth會議的會議記錄。從第14頁開始的Here's a PDF containing a description of the module system,(打印132)。 下面是如何使用三個定義的詞INTERNAL,EXTERNAL和MODULE的說明。 模塊是單詞INTERNAL和 MODULE之間