Aqui está uma citação de "Lisping at JPL", de Ron Garre

"A depuração de um programa em um hardware de US $ 100 milhões, localizado a 100 milhões de quilômetros de distância, é uma experiência interessante. Ter um loop de leitura e avaliação em execução na sonda provou ser inestimável para encontrar e corrigir o problema."

Como um iniciante tentando decidir para onde entrar, estou inclinado para a ML porque um ex-professor adorou e estou encontrando muitos livros que integram as discussões do Lambda Calculus com a ML e ML parecem bastante sensatos. (Acabarei ensinando isso.)

Então, o ML tem um REPL, onde, como Lisp, você pode simplesmente "adicionar mais código" enquanto está em execução, ou seja, o hardware de US $ 100 milhões do Sr. Garret está sendo executado no ML?