f# is probably your best bet. ocaml and d are the closest-to-mainstream ones that don't involve a vm, but neither of them has spectacular tooling just yet; f# (

f# is probably your best bet. ocaml and d are the closest-to-mainstream ones that don't involve a vm, but neither of them has spectacular tooling just yet; f# (on windows) at the least inherits some of the .net tooling and is getting an increasing amount of support from microsoft. i'm personally enjoying ocaml a lot, but that's because i'm on linux; under windows i'd probably have gone with f# instead.