【发布时间】:2016-09-27 19:16:30
【问题描述】:
在 Poly/ML 中,全局值的名称可以通过以下方式获得:
map #1 ((#allVal PolyML.globalNameSpace) ());
可以使用#allStruct类似地获得顶级结构。
现在,如何列出结构中的所有值?
也就是下面有没有办法实现????
> ??? "String";
["implode", "explode", "concatWith", ...]
【问题讨论】:
在 Poly/ML 中,全局值的名称可以通过以下方式获得:
map #1 ((#allVal PolyML.globalNameSpace) ());
可以使用#allStruct类似地获得顶级结构。
现在,如何列出结构中的所有值?
也就是下面有没有办法实现????
> ??? "String";
["implode", "explode", "concatWith", ...]
【问题讨论】:
这是我目前的解决方法。 您可以从 PolyML.globalNameSpace (forgetValue) 中删除所有值,然后打开结构并重复 (#allVal PolyML.globalNameSpace) ()
【讨论】: