用于标准ML的GUI？

Question

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

如果我也能用Standard ML进行一些GUI编程，那就太好了。对于标准ML，有没有类似Gtk、Qt或WxWidgets绑定的东西？

非常感谢。

Answer 1

下面是描述mGTK项目的a paper，它是一个绑定到GTK的标准ML。也有一些interfaces to OpenGL，尽管这更多的是面向2和3D图形，而不是专门的图形用户界面工具包。eXene是一个用于X窗口的工具包。sml_tk是Tk的接口。

Answer 2

虽然有针对国外工具包的绑定，但eXene工具包被设计为面向SML的本机工具包，并利用并发ML的特性。我几年前就用过了，发现它非常适合这种语言，使用起来也很愉快。但它没有在更广泛使用的工具包中找到的组件的巨大库。

Answer 3

Giraffe Library为支持GObject Introspection的库提供了SML绑定。在编写本文时，绑定已经可用于GTK 3堆栈。尽管cairo图形库不支持GObject自检，但Giraffe library提供了对一些cairo函数的绑定。

尽管SML有一个非常精确的定义，但该定义不包括FFI，并且不同的编译器之间存在相当大的差异。在撰写本文时，Giraffe Library仅支持MLton和Poly/ML的FFIs。