Есть ли у SML (Poly) CL-подобный REPL?

Вот цитата из Рона Гаррета "Лиспинг в JPL":

«Отладка программы, работающей на оборудовании стоимостью 100 миллионов долларов, которое находится на расстоянии 100 миллионов миль, представляет собой интересный опыт. Наличие цикла чтения-проверки-печати на космическом корабле доказало свою неоценимость при поиске и устранении проблемы».

Как новичок, пытающийся решить, куда мне ввязываться, я склоняюсь к ML, потому что бывший профессор бредил, и я нахожу много книг, которые объединяют обсуждения Lambda Calculus с ML и ML, выглядит довольно вменяемым. (Я в конечном итоге буду учить этому.)

Итак, есть ли у ML REPL, где, подобно Лиспу, вы можете просто «добавить больше кода» во время его работы, то есть, может ли аппарат господина Гаррета за 100 миллионов долларов работать на ML?