GUI для стандарта ML?

Question

Я начал изучать Стандартные ML недавно из любопытства. Так что я знаю, что у него есть эффективный компилятор (MLton), который позволяет нам свободно использовать абстракции, не беспокоясь о производительности.

Было бы замечательно, если бы я мог заниматься программированием GUI и в Standard ML. Есть ли что-нибудь вроде привязки Gtk, Qt или WxWidgets для Standard ML?

Большое спасибо.

Answer 1

Вот статья , описывающая проект mGTK , который является привязкой Standard ML к GTK. Есть также пара интерфейсов для OpenGL , хотя это больше ориентировано на 2-ой и трехмерной графикой, а не на инструментарий GUI. eXene - это инструментарий для X Windows. sml_tk - это интерфейс для Tk.

Answer 2

Существуют привязки для внешних наборов инструментов, но набор инструментов eXene был разработан специально для SML и для использования возможностей Concurrent ML. Я использовал его несколько лет назад и нашел его очень удобным для языка и приятным в использовании. Но он не имеет огромной библиотеки компонентов, которую вы найдете в более широко используемых наборах инструментов.