mgtk.sourceforge.net

mGTK 目前主要面向 Moscow ML 编译器，MLton 支持已在预发布版本 mgtk-pre-0.92 中加入。操作系统方面，mGTK 可运行于 Moscow ML 与 GTK+ 同时支持的平台，已知在 Linux 和 Windows 上可用。

编译器支持情况

如果你使用 MLton，应选择 mgtk-pre-0.92 或更新版本，而不是 0.90 或更早的 beta/alpha 包。官方页面提到 MLton 支持“几乎就绪”，并建议需要细节时联系作者，因此用 MLton 时遇到问题可以直接发邮件询问。

操作系统支持

mGTK 本身是 GTK+ 的 SML 绑定（glue code），因此平台范围取决于两个前提同时成立：

1. 该平台有可用的 Moscow ML（或对应版本的 MLton）；
2. 该平台有可用的 GTK+。

官方明确说明“已知可在 Linux 和 Windows 机器上运行”，Windows 移植由 Mike Thomas 完成，早期 beta 版本还提供过 Windows 二进制包。其他平台没有在页面上列出已验证记录，属于“理论上可行但未确认”的范围。

版本选择建议

• 只用 Moscow ML：任意版本均可，包括 mgtk-beta-0.03、mgtk-beta-0.02 等旧包；但新项目建议直接用最新的 mgtk-pre-0.92。
• 需要 MLton：必须使用 mgtk-pre-0.92。
• 需要 Windows 二进制：页面仅在 mgtk-beta-0.03 和 mgtk-beta-0.02 条目下标注了 Windows binary，预发布版未标注二进制包，可能需要自行从源码构建。

验证方式

下载后可按官方提供的 Hello World 程序做最小验证：初始化 GtkBasis.init、创建 Window 和 Button、连接信号、调用 GtkBasis.main()。如果程序能编译并弹出带按钮的窗口，说明编译器与 GTK+ 的衔接正常。页面也说明发行包内附带若干示例，可用来进一步确认。

常见卡点

• 编译器版本与 mGTK 版本不匹配：用 MLton 却下载了 0.90 或更早的包，会缺少 MLton 支持。
• 平台未验证：不在 Linux/Windows 上时，需要自行确认 Moscow ML 和 GTK+ 是否都能安装，官方没有给出其他平台的兼容性承诺。
• 预发布版缺少文档：官方明确提示 pre-release“没有提供太多指导”，遇到问题需联系作者。
• 许可证：当前为 LGPL，官方表示未来可能改为限制更少的许可证，但截至页面信息未变更。

mGTK 的 Hello World 程序是一个完整的 SML 程序，结构上分为“初始化 → 创建控件 → 连接信号 → 组装控件 → 显示 → 进入事件循环”六步。它使用 Moscow ML 编译器（页面同时说明 MLton 支持已接近就绪，pre-0.92 起已带 MLton 支持），运行在同时被 Moscow ML 和 GTK+ 支持的平台上，已知可在 Linux 和 Windows 上运行。下面按这个顺序拆解代码，并给出验证方法和常见卡点。

完整代码

fun hello _ = print "Hello World\n"

fun main () =
  let
    val _ = GtkBasis.init(CommandLine.name()::CommandLine.arguments())
    val window = Window.new Window.TOPLEVEL
    val button = Button.new_with_label "Hello World"
  in
    Signal.connect window (Widget.delete_event_sig (fn _ => false)) ;
    Signal.connect window (Widget.destroy_event_sig (fn _ => (GtkBasis.main_quit(); true))) ;
    Signal.connect button (Button.clicked_sig hello) ;
    Container.add window button ;
    Widget.show_all window ;
    GtkBasis.main()
  end

各部分在做什么

1. 初始化：GtkBasis.init

GtkBasis.init 接收命令行参数列表，这里用 CommandLine.name()::CommandLine.arguments() 把程序名和参数拼成列表传入。这是 GTK+ 类库的惯例：初始化时把命令行交给工具包处理。预期结果是 GTK+ 运行时完成初始化，之后才能创建控件。

2. 创建控件：Window.new 与 Button.new_with_label

• Window.new Window.TOPLEVEL 创建一个顶层窗口。
• Button.new_with_label "Hello World" 创建一个带文字标签的按钮。

两者都是“先创建对象、再单独配置”的风格，控件创建与事件绑定是分开的语句。

3. 连接信号：Signal.connect

三处 Signal.connect 分别处理三类事件：

注意 hello 的类型是 'a -> unit（用 _ 忽略参数），正好匹配点击回调的签名。

4. 组装与显示：Container.add 与 Widget.show_all

Container.add window button 把按钮放进窗口；Widget.show_all window 递归显示窗口及其子控件。缺少 show_all 时窗口可能创建成功但内容不可见，这是初学者最常见的卡点之一。

5. 进入事件循环：GtkBasis.main()

GtkBasis.main() 阻塞运行，直到 main_quit 被调用。程序的实际交互（点击按钮、关闭窗口）都发生在这个循环里。

如何验证程序能跑通

1. 确认环境：Moscow ML 与 GTK+ 均已安装，且平台在两者共同支持范围内（Linux 或 Windows 是页面明确提到的）。
2. 编译并运行上述程序。
3. 预期现象：出现一个含 “Hello World” 按钮的窗口；点击按钮，终端输出 Hello World；关闭窗口后程序退出。

常见卡点

• 窗口空白：检查是否调用了 Widget.show_all。
• 关闭窗口后进程不退出：检查 destroy_event_sig 回调里是否调用了 GtkBasis.main_quit()。
• 点击无反应：确认 Signal.connect 绑定的信号与控件匹配（按钮用 Button.clicked_sig，窗口用 Widget.*_event_sig）。
• 编译或链接失败：优先核对编译器与 GTK+ 的版本组合；页面说明当前主要支持 Moscow ML，MLton 支持在 pre-0.92 中才加入，旧版本上不要假设可用。

该示例来自 mGTK 项目主页，页面同时说明这是一个 pre-release，文档指引有限，遇到问题可联系作者。

mGTK 最新可下载版本是 mgtk-pre-0.92，发布于 2004 年 7 月 12 日，属于“第一个重要里程碑”的预发布版，并已加入 MLton 支持。页面同时说明，该版本是 pre-release，提供的使用指导不多；如果下载或使用中需要帮助，需联系作者。mGTK 以 LGPL 发布，页面提到未来可能改为限制更少的许可证。

版本一览

下载前需要知道的事

• 编译器支持：目前只支持 Moscow ML；页面称 MLton 支持“几乎就绪”，mgtk-pre-0.92 已标注加入 MLton 支持，细节可邮件询问作者。
• 平台：mGTK 应能在 Moscow ML 与 GTK+ 同时支持的平台上运行，已知可在 Linux 和 Windows 上运行。
• 文档：预发布版“没有提供太多指导”，建议先看 README；需要帮助时联系作者。
• 旧版 Windows 包：beta-0.02 和 beta-0.03 页面标注有 Windows 二进制包，适合不想自行编译的 Windows 用户，但版本很旧。

下载入口与后续步骤

1. 打开项目主页 mgtk.sourceforge.net，进入 Download 区域。
2. 选择 mgtk-pre-0.92（文件名或链接标注为 pre release / mgtk-pre-0.92）。
3. 下载后先阅读发行包中的 README，确认 Moscow ML（或 MLton）与 GTK+ 的安装要求。
4. 若只需要 Windows 可执行环境，可回退查看 beta-0.02 的 Windows binary 链接。
5. 想获取新版本通知，可订阅低流量、审核制的 mgtk-announce 邮件列表。

常见卡点

• 把预发布版当稳定版：0.92 是 pre-release，示例和文档覆盖有限，遇到问题需直接联系作者。
• 编译器不匹配：非 Moscow ML 用户需先确认 MLton 支持情况，页面未给出完整的 MLton 使用说明。
• 许可证预期：当前为 LGPL，页面仅表示“可能”未来放宽，不能按更宽松许可证做分发规划。

mGTK 是一套让 GTK+ 图形界面库可以从 SML（Standard ML）中调用的“胶水代码”绑定库，目的是让 SML 程序员能用熟悉的语言开发可视化桌面应用。它适合仍在使用 Moscow ML 编译器、并且希望在 Linux 或 Windows 上构建 GTK+ 界面的开发者；如果你用的是其他 SML 编译器，或需要活跃维护的现代 GUI 方案，它并不合适。

它解决什么问题

SML 本身没有官方 GUI 工具包，而 GTK+ 是成熟的跨平台界面库。mGTK 在两者之间做绑定，把 GTK+ 的窗口、按钮、容器、信号等概念映射成 SML 可调用的接口。按项目页面的说法，它“为 SML 程序员提供开发可视化应用的便捷接口”。

支持范围与限制

典型程序结构

项目页面给出了一个 Hello World 示例，能直观看出 mGTK 程序的骨架：初始化 GTK、创建窗口和控件、连接信号、把控件加入容器、显示并进入主循环。

fun hello _ = print "Hello World\n"

fun main () =
  let
    val _ = GtkBasis.init(CommandLine.name()::CommandLine.arguments())
    val window = Window.new Window.TOPLEVEL
    val button = Button.new_with_label "Hello World"
  in
    Signal.connect window (Widget.delete_event_sig (fn _ => false));
    Signal.connect window (Widget.destroy_event_sig
      (fn _ => (GtkBasis.main_quit(); true)));
    Signal.connect button (Button.clicked_sig hello);
    Container.add window button;
    Widget.show_all window;
    GtkBasis.main()
  end

这段代码对应几个关键机制：

• 初始化：GtkBasis.init 接收命令行参数，启动 GTK 运行时。
• 信号连接：按钮点击绑定到 hello 函数；窗口关闭事件绑定到退出主循环，这是 GTK 事件驱动模型的标准写法。
• 容器与显示：控件必须先加入容器，再调用 show_all 才会可见。
• 主循环：GtkBasis.main() 接管事件循环，程序在此等待用户操作。

版本与获取方式

项目托管在 SourceForge，下载页列出了各版本：

• mgtk-pre-0.92（2004 年 7 月 12 日）：首个主要里程碑的预发布版，加入 MLton 支持。
• mgtk-pre-0.90（2004 年 6 月）。
• mgtk-beta-0.03（2001 年 5 月 7 日）。
• mgtk-beta-0.02（2000 年 6 月 16 日），附 Windows 二进制。
• mgtk-alpha-0.01（2000 年 4 月 28 日）。

项目方明确说明这些是预发布版本，“没有提供太多指导”，遇到问题需要直接联系作者。另有低流量、审核制的邮件列表 mgtk-announce，仅用于发布新版本公告。

是否值得选用

适合的情况：你在维护或研究 Moscow ML 上的 SML 图形程序，需要参考 GTK+ 绑定的实现方式，或者想了解早期 SML GUI 生态。

需要谨慎的情况：项目页面信息停留在 2004 年，文档稀少，只支持特定编译器组合。若你要开发新项目，应先确认 Moscow ML 与 GTK+ 的版本兼容性，并预期需要自行阅读 README 和源码排错。许可证虽为 LGPL，但项目方保留了未来调整的权利，涉及分发时应以实际发布文件中的许可声明为准。

想及时知道 mGTK 新版本，可以订阅项目提供的 mgtk-announce 邮件列表；想参与开发，先看发行包里的 CONTRIB 文件列出的待办任务，再联系作者 Ken Friis Larsen 或 Henning Niss。这两条途径都来自项目主页的公开说明，适用于希望跟进这个 SML/GTK+ 绑定库的个人开发者。需要注意，mGTK 的页面最后修改时间停留在 2001 年，最新版本是 2004 年 7 月的预发布版，项目活跃度有限，订阅后不一定会频繁收到邮件。

订阅 mgtk-announce 获取发布通知

项目主页的 Mailing list 一节说明，这是一个**低流量、审核制（moderated）**的邮件列表，只用于发布 mGTK 新版本公告，不用于一般技术讨论。

操作步骤：

1. 打开项目主页上的 “mgtk-announce info page” 链接（位于 Mailing list 段落内）。
2. 在该信息页按提示填写订阅邮箱并提交。
3. 由于列表是审核制的，公告邮件由维护者审核后发出，订阅者不会收到无关讨论。

预期结果：新版本发布时收到公告邮件。由于项目更新稀少，不要期待高频通知；如果需要具体使用帮助，主页明确建议直接联系作者，而不是发到公告列表。

参与贡献：从 CONTRIB 文件入手

主页的 Contributors 段落写道，项目欢迎有兴趣的人帮忙，并列出了两个具体入口：

• CONTRIB 文件：发行包中附带，列出了需要完成的任务。先下载对应版本（如 mgtk-pre-0.92），解压后查看该文件，按任务类型判断自己能接手哪一项。
• 直接联系作者：主页在 Download 段落也说明，使用预发布版遇到问题可联系作者求助；贡献意向同样可以通过作者渠道表达。

已有的贡献先例是 Mike Thomas 完成了 Windows 移植，主页对此致谢。这说明平台移植类是该项目认可且实际发生过的贡献形式；如果你熟悉其他平台或工具链，可以对照 CONTRIB 中的任务评估。

作者与项目背景

常见卡点

• 找不到订阅入口：主页只给出 “mgtk-announce info page” 的文字链接，需在 Mailing list 段落内点击，而不是在 Download 段落找。
• 误以为列表可提问：它是审核制的公告列表，技术问题应联系作者。
• 贡献前未确认编译器环境：项目以 Moscow ML 为主，MLton 支持需向作者确认状态，避免按不适用的工具链准备开发环境。
• 许可证预期：主页提到可能放宽许可证，但截至页面信息仍是 LGPL，二次分发或商用前应以发行包内的许可证文本为准。