代码之家 › 专栏 › 技术社区 › Phil

标准ML的图形用户界面?

graphical-programming ml sml binding user-interface

Phil · 技术社区 · 15 年前

我最近出于好奇开始学习标准ML。我所知道的是,它有一个高效的编译器(mlton),允许我们自由地使用抽象,而不必担心性能。

如果我也能用标准的ML进行一些GUI编程,那就太好了。标准ML是否有类似于GTK、QT或WXWidgets的绑定?

非常感谢。

2 回复 | 直到 6 年前

ire_and_curses 15 年前

这里是 a paper 描述 mGTK 项目,它是绑定到GTK的标准ML。还有一些 interfaces to OpenGL 尽管这更多的是面向2和3D图形,而不是具体的图形用户界面工具包。 eXene 是用于X Windows的工具包。 sml_tk 是到tk的接口。

Norman Ramsey 15 年前

有外部工具包的绑定,但是 eXene 工具包是为SML而设计的,并利用并发ML的特性。多年前我使用过它,发现它非常适合语言,使用起来也很愉快。但是它没有您在更广泛使用的工具包中找到的大量组件库。

推荐文章

Bear Bile Farming is Torture · 如何让div在溢出时水平滚动文本,而不是插入新行

2 年前

Eric Dirla · 怎么做。configure()和。pack()在Tkinter一起工作?

2 年前

Devang Sanghani · 柏树检查线通过

2 年前

Brendan · 如何在Flatter中创建圆形化身周围的虚线边框

3 年前

Sheryar Khan · 如何仅使用html、css、bootstrap、javascript/jquery创建html页面?

3 年前

Shadow43375 · 当前可见的视口部分是否有官方术语?

6 年前

pradip kikani · 如何在iOS中制作instagram聊天屏幕(UI)以便左键滑动查看时间

6 年前

HyperQBE · 如何在pyqt MessageBox中使用变量

6 年前

Adelov · 当我在主窗口中调用其他QtWidget时,我的GUI不工作(按钮等)

6 年前

Lord Jesus · 如何添加“HH:mm:ss”格式的秒表?

6 年前