Есть ли у SML (Poly )CL -как у REPL?

Вот цитата из книги Рона Гаррета «Шепешка в JPL» :

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

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

Итак, есть ли у ML REPL, где, как у Lisp, вы можете просто «добавлять больше кода» во время его работы, т. Е. Может ли аппаратное обеспечение г-на Гаррета стоимостью 100 миллионов долларов работать на ML?