sml - 如何在 Windows 上访问 Poly/ML 中的库？

Question

我已经从“PolyML5.6-64bit.msi”安装程序安装了 Poly/ML；我可以通过在开始菜单中单击它来启动 REPL；但我不知道如何从中访问任何库？我试着做 use "something" ，但它会导致如下错误:

> use "Math";
Exception-
   Io
     {cause = SysErr ("No such file or directory", SOME ENOENT), function =
      "TextIO.openIn", name = "Math"} raised

与 use "Basis" 类似或 use "Windows" .

请注意，我是 SML 的新手；我好像找到了 use一些通用 SML 教程中的命令，不知道我是否正确使用它:/

编辑:另外，目标安装目录似乎只包含以下三个二进制文件，不确定那里是否应该有一些源代码:

C:\Program Files\Poly ML>dir
 Volume in drive C is Windows
 Volume Serial Number is CENS-ORED

 Directory of C:\Program Files\Poly ML

26.02.2016  00:03    <DIR>          .
26.02.2016  00:03    <DIR>          ..
25.01.2016  14:22           681 472 PolyLib.dll
25.01.2016  14:23         8 182 784 PolyML.exe
25.01.2016  14:22            20 480 PolyPerf.dll
               3 File(s)      8 884 736 bytes

编辑2:嗯...从进一步浏览中，我开始认为显然 Poly/ML 似乎是 used by most people purely from within "Isabelle IDE" ?所以也许如果我安装这个，一切都会开箱即用？我会尝试，但最初的问题现在仍然悬而未决。

编辑3:嗯，伊莎贝尔IDE很奇怪，特别是不知道如何“运行”在其中打开的SML文件:/在这种情况下可能会卸载(即删除？)它，同时考虑到我得到了答案现在已经回答了原来的问题。

Answer 1

我在 Linux 上使用 Poly/ML，而不是 Windows。但我几乎可以肯定，接下来的内容在 Windows 上也是如此。

您不需要使用 use函数加载基础库的模块，当您启动 Poly/ML REPL 时，这些模块已经在顶级环境中。例如:

lolcathost% poly
Poly/ML 5.6 Release
> structure M = Math;
structure M: MATH
> M.pi;
val it = 3.141592654: real
> 

您使用 use函数来加载您自己的代码。参数必须是绝对路径或相对于当前工作目录的路径。我不知道是否可以更改 REPL 中的当前工作目录。 Check here如果需要，查看如何更改当前工作目录。

此外，对于较大的项目，您可能需要使用 Poly/ML's make system而不是 use .

回应您的评论:

模块 PolyML.Compiler提供检索现有 values 名称的函数, types , signatures , structures和 functors在顶级环境中。

但是，仅这些名称并不是非常有用。这里有一些技巧可以让 REPL 告诉你更多信息。

类型:假设你想知道 list 的构造函数是什么是。

> datatype foo = datatype list;
datatype 'a foo = :: of 'a * 'a foo | nil
> 

或类型同义词 StringCvt.reader被定义为。

> datatype foo = datatype StringCvt.reader;
type ('a, 'b) foo = 'b -> ('a * 'b) option
> 

当然，如果你在抽象数据类型上使用这个技巧，你不会得到太多信息:

> datatype foo = datatype string;
eqtype foo
> 

结构:假设你想知道结构的值和类型组件是什么 Byte是。

> structure Foo = struct open Byte end;
structure Foo:
  sig
    val byteToChar: Word8.word -> char
    val bytesToString: Word8Vector.vector -> string
    val charToByte: char -> Word8.word
    val packString: Word8Array.array * int * substring -> unit
    val stringToBytes: string -> Word8Vector.vector
    val unpackString: Word8ArraySlice.slice -> string
    val unpackStringVec: Word8VectorSlice.slice -> string
  end
> 

签名:假设你想知道签名的值和类型组件是什么 BYTE是。

> functor Foo (X : BYTE) = struct open X end;
functor Foo (X: BYTE): 
  sig
    val byteToChar: Word8.word -> char
    val bytesToString: Word8Vector.vector -> string
    val charToByte: char -> Word8.word
    val packString: Word8Array.array * int * substring -> unit
    val stringToBytes: string -> Word8Vector.vector
    val unpackString: Word8ArraySlice.slice -> string
    val unpackStringVec: Word8VectorSlice.slice -> string
  end
>