Aquí hay una cita de "Lisping at JPL" de Ron Garret:

"La depuración de un programa que se ejecuta en una pieza de hardware de $ 100 millones que está a 100 millones de millas de distancia es una experiencia interesante. Tener un ciclo de lectura-evaluación-impresión que se ejecuta en la nave espacial resultó invaluable para encontrar y solucionar el problema".

Como un principiante que intenta decidir dónde saltar, me estoy inclinando hacia ML porque un ex profesor se entusiasmó y encuentro muchos libros que integran las discusiones de Lambda Calculus con ML y ML parece bastante sano. (Eventualmente voy a enseñar esto).

Entonces, ¿ML tiene un REPL donde, como Lisp, puedes simplemente "agregar más código" a medida que se ejecuta, es decir, ¿podría la pieza de hardware de $ 100M del Sr. Garret ejecutándose en ML?