併發ml如何導入庫

Question

我已經下載了新澤西州（SML/NJ）的標準ML，現在我必須使用併發MI（CML）庫。我如何導入（使用）庫？ 感謝

Answer 1

您可能會需要使用CM文件（例如，sources.cm）是這樣的：

Group is 
    $cml/cml-lib.cm 
    $/basis.cm 
    your-file.sml 
    ... 

然後sml sources.cm應該正確加載CML並使其可用於在程序中使用。

Answer 2

如果你只是想在提示符下打轉轉SML/NJ的裏面，你可以做以下，使可用的CML結構：

- CM.make "$cml/cml.cm"; 
[library $cml/cml.cm is stable] 
[library $cml/cml-internal.cm is stable] 
[library $cml/core-cml.cm is stable] 
[New bindings added.] 
val it = true : bool 
-