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

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

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

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

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

Ответы на вопрос(2)

Ваш ответ на вопрос