polyml

    0热度

    1回答

    构造Poly/ML参数结构值

    我想创建一个基于另一个可以切换实现的结构的结构。 signature Field = sig type field_type; val zero : field_type; val add : (field_type * field_type) -> field_type; val f : int -> field_type; end; struct
    struct types functor polyml 2013-10-24

    0热度

    1回答

    ML不能统一“一个与诠释

    的练习是代码ML的函数删除从二叉搜索树的元素。 下面的代码： datatype 'a tree = Lf | Br of 'a * 'a tree * 'a tree; fun deleteTop (Br(_, Lf, t2)) = t2 | deleteTop (Br(_, t1, Lf)) = t1 | deleteTop (Br(_, Br(v, u1, u2), t
    ml polyml 2013-11-01

    1热度

    1回答

    堆的Poly/ML运行时调整大小

    我在一篇关于Poly/ML堆大小的文章中阅读了以下单词。但是我不明白这个堆的大小是如何调整的？任何人都可以更详细地解释它吗？ 在每个主要GC（垃圾收集）结束时，调用adjustHeapSize（） 方法。此方法动态改变堆大小，因此 存在特定数量的可用空间。也就是说， 假设成熟空间紧接在GC之后包含1MB活数据，则adjustHeapSize（）将成熟空间大小改变为K + 1MB，其中K是预先计算的
    ml polyml 2013-04-17

    5热度

    3回答

    如何在polyml解释器中添加readline支持？

    我发现polyml是ML的实现，可以很容易地安装在Ubuntu （在存储库中命名为polyml，并且可以使用poly执行）。我正在关注Andrew Cumming的A Gentle Introduction to ML。 polyml解释器经过几分钟的实验后，我发现它不支持readline （按向上箭头键产生一个^[[A）。 这对解释者来说似乎并不正常。这应该只会发生，如果我没有安装readlin
    linux ubuntu sml ml polyml 2013-07-30

    11热度

    2回答

    标准ML是否支持Unicode？

    标准ML是否支持Unicode？ 我相信它没有，但无法找到任何SML的权威性文档陈述。 一个是或否是所需要的，但你必须知道一个事实。没有猜测或我相信答案。权威的联系会更好。
    sml polyml 2013-01-20

    1热度

    1回答

    PolyML/Motif：我如何同时绘制一个包含XmLabelPixmap按钮的窗口？

    在PolyML中，我试图绘制一个带有位图的按钮，但是在调用外壳小部件上的XtRealizeWidget之前无法找到创建像素图的方法。 在XtRealizeWidget之后使用XCreateBitmapFromData，在绘制带有图片的按钮时会产生巨大的延迟，这实在很愚蠢。这是下面的代码。 相关的线路有： val shell = XtAppInitialise "" "appl" "clss" []
    sml xlib motif polyml 2015-08-24

    1热度

    1回答

    如何提高PolyML中的数组基准性能？

    我有以下基准，它遍历数组， 设置下一个条目加上前一个条目。如果 的数字大于某个上限，我将条目 设置为零，然后继续。然后在最后我总结数组中的条目 。 问题：如何改进PolyML的基准测试结果？ 的时间如下Ubuntu上的x86-64： polyml (using CFLAGS=O3) = 1250034994 real 0m54.207s user 0m52.604s sys 0m0.79
    c++ benchmarking sml polyml mlton 2015-09-06

    0热度

    1回答

    在窗口上安装Poly/ML om emacs

    我试图在emacs里编写sml代码。我在Windows上安装了emacs 24.3，并且我还安装了Poly/ML Version 5.5.1。没有办法让这个工作？ 我尝试安装SML-MODE是这样的：http://alleystoughton.us/sml/sml-emacs.html 但似乎我只有在我的网站，口齿不清目录subdirs.el ... 我试图在Emacs和我的文件写入的Mx SML
    windows emacs polyml 2014-01-20

    1热度

    1回答

    直接在emacs中的Poly/ML解释器/编译器

    我已经在emacs 24中安装了sml-mode。我想直接用emacs在Poly/ML上编译代码，我该怎么做？我已安装Poly/ML，然后键入sml-poly-ml以启动解释程序，但我说不匹配。我在Windows和Ubuntu上都测试过。该怎么办？ 更新：我正在这里：https://groups.google.com/forum/#!msg/comp.emacs/jlOX_aP6j40/afuuU
    emacs interpreter sml polyml 2014-01-23

    4热度

    1回答

    Poly/ML中的共享库

    是否可以使用Poly/ML建立共享库？ 我希望能够为Poly/ML库创建一个C API，并从不同的编程语言（例如Python）调用/加载它。有人试图这样做吗？ 我知道这OCaml中来完成： How can I call OCaml functions from a Python program?
    sml ml polyml 2013-07-10
最新问题