Here\'s a quote from Ron Garret\'s \"Lisping at JPL\":
\"Debugging a program running on a $100M piece of hardware that is 100 million miles away is an interesting ex
PolyML has a REPL. I don't know its details, but if it's similar to SML/NJ, you won't be able to use it to bang on a running program as it's running. If you want to do that, Common Lisp or Squeak are your best bets -- most of the rest of the programming-languages community views the idea of updating a live program as it's running as a bad (or at least too-dangerous-to-have-available-by-default) idea.
But do learn Standard ML. In my mind, it is the canonical functional language. understanding it makes it easy to understand why functional programming is powerful, and also helps you understand the whole spectrum of functional programming languages by their deviations from it.