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的新手;我似乎在一些通用的SML教程中找到了use命令，不知道我是否正确使用它：/

编辑：此外，目标安装目录似乎只包含以下三个二进制文件，不确定是否应该有一些来源：

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

edit2：嗯......从进一步的浏览中，我开始认为显然Poly / ML似乎是used by most people purely from within "Isabelle IDE"？所以如果我安装这个，也可以开箱即用？我会尝试，但最初的问题仍然是开放的。

edit3：嗯，Isabelle IDE很奇怪，特别不知道如何“运行”在其中打开的SML文件：/可能要在这种情况下卸载（即删除？）它，考虑到我现在已经得到了原始问题的答案。

Answer 1

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

您不需要使用use功能来加载Basis Library的模块，这些模块在您启动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
>

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

1 个答案: