I have been working on a Gtk interface to MLton that should be `done' very shortly. Also there is mGtk (although it has a few problems). I never use Windows, so I can't comment on what Gtk is like there.