sml - 在 Poly/ML 中检查结构中的值

Question

在 Poly/ML 中，全局值的名称可以通过以下方式获得：

map #1 ((#allVal PolyML.globalNameSpace) ());

和顶级结构可以类似地使用#allStruct.

现在，如何列出结构中的所有值？也就是说，有没有办法在???下面实现？

> ??? "String";
["implode", "explode", "concatWith", ...]

Answer 1

这是我目前的解决方法。您可以从 PolyML.globalNameSpace (forgetValue) 中删除所有值，然后打开结构并重复 (#allVal PolyML.globalNameSpace) ()