回答情况：
提问时间：
问题标签：
2回答
我目前正在使用PolyML 5.5.2，并试图创建一个运行时编译器函数，该函数接受一个字符串并运行它。所需的函数应该类似于输入时
val a= 1: int
我已经做了一些研究，在旧版本中有一个类似于PolyML.compilerEx的函数，但是在PolyML 5.5.2中似乎没有这样的东西。
浏览 4修改于2020-06-20得票数 1
1回答
对于各种玩具项目，我希望能够将对象语言嵌入到PolyML顶层，比如HOL的回勾语法，其中backticks之间的表达式由自定义解析器解析。
我不介意特定的分隔语法: backticks ...
浏览 8提问于2022-07-18得票数 0
我发现polyml是ML的实现，它可以很容易地安装在Ubuntu上(在存储库中命名为polyml，可以用poly__执行)。我正在跟踪安德鲁·库明的。在对polyml解释器进行了几分钟的实验之后，我发现它不支持读行(按箭头向上键会产生^[[A__) ]。
这对翻译来说似乎不正常。
浏览 2修改于2016-02-07得票数 7
回答已采纳
理想情况下，这行PolyML代码应该提供所需的结果：但是\033实际上只是一个感叹号，而不是颜色编码的特殊符号。是否有可能在标准PolyML仪器中解决这个问题？
浏览 17修改于2022-01-02得票数 0
回答已采纳
在freebsd 12上，PolyML中的xwindows模块没有实现，所以我试图在端口树之外编译它的源代码。它确实编译，但我不能打开XWindows模块的聚合。
浏览 1修改于2020-03-19得票数 0
我对SML完全陌生，我不明白要用PolyML创建、编辑、编译和运行sml文件应该做些什么。我正在使用Windows，我不知道是否需要下载另一个IDE，或者像for Java这样的开发工具包。
浏览 11修改于2020-07-14得票数 6
回答已采纳
问:如何改进PolyML的基准测试结果？“泰晤士报”在Ubuntu x86-64上的内容如下：1250034994
user 0m52.604s++ (O3) = user 0m4.578s我可以让mlton运行几乎和c代码(5.2s)一样快，但我对PolyML
浏览 5修改于2015-09-06得票数 1
回答已采纳
在PolyML中，我试图绘制一个包含像素映射的按钮，但在调用shell小部件上的XtRealizeWidget之前，无法找到创建像素映射的方法。
浏览 2修改于2015-08-24得票数 1
回答已采纳
在下面的程序中，我们知道valStr.value假设泛型类型t的子类型t。然而，当我在poly中检查它时，类型显示为t。在poly解释器中，我能看到t专门化为pair吗？> poly
sig val coord : pair val getFirst : pair -> real type pair end sig
浏览 6修改于2015-08-30得票数 2
回答已采纳
PolyML.IDEInterface.parseTree PolyML.print (parseTree); List.map PolyML.print (parseTree); end$ .但这也不起作用： let
浏览 4提问于2016-02-24得票数 5
要构建这些项目，我所要做的就是在REPL中运行以下命令：但是现在我有了一个项目，它的规模使得将所有源代码文件放在同一个目录中是不切实际的。要在REPL中构建这些项目，我需要运行以下命令：> PolyML.make "bar/Bar";><
浏览 4修改于2015-03-28得票数 2
回答已采纳
我在Mac上使用的是PolyML编译器5.6版本。我正在编译和运行一些引发异常(Fail "undefined")的代码。如何让PolyML显示堆栈跟踪，或者至少在引发异常的地方显示行号？
浏览 9提问于2017-03-04得票数 0
foo.tptp/home/asr/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-linux我还需要做点别的什么吗？
浏览 0提问于2016-01-29得票数 1
回答已采纳
我在标准位置创建了一个Nominal2堆映像：我不能在理论面板中选择它来加载。更新:我将图像从用户的主目录复制到主堆目录：
$ cp ~/.isabelle/Isabelle2015&#
浏览 2修改于2017-05-23得票数 1
回答已采纳
我编辑了sml-mode.el，使其具有"Program:type 'string)
它确实启动了PolyML，我想要使用的版本。
浏览 6提问于2017-05-10得票数 0
然后在扩展和PolyML进程之间建立套接字通信。从网页读取SML代码，并通过套接字发送到PolyML进程，用于处理PolyML代码，然后使用我提供的库来处理DOM.。以下是如何实现DOM库：
DOM.getElementByIdThis请求通过套接字转发给扩展，其中扩展在页面上执行JavaScript函数getElementById，并通过套接字将结果发送回PolyML我做了一些非常近似的分析，使用扩展和PolyML之间的这个接口，我可以大约发送2500条消息/秒，平均大小为70字节/
浏览 0修改于2011-05-11得票数 5
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号