I have used Helium in my course. It's a nice start, and like DrScheme, also an incubator for some research. But it still has a long way to go. Programming environments don't, in general, seem to be in the DNA of the functional community. Shriram