i'm in the same boat - i keep an interested eye on developments in the ML-cross-C space, but so far none of them seems compelling to use over ocaml. however, if

i'm in the same boat - i keep an interested eye on developments in the ML-cross-C space, but so far none of them seems compelling to use over ocaml. however, if one of them had a cross-compiler as good as go's, that would be a killer feature. i would really like an ml-like language i could use to develop desktop apps and trivially deliver binaries for multiple platforms.