<p dir="ltr">It's real life example, about lisp, but lisp and Erlang have similar nature.</p>
<p dir="ltr">(Yes, CL doesn't support 'let it crash', but anyway they are similar.)</p>
<p dir="ltr">An even more impressive instance of remote debugging occurred on NASA's 1998 Deep Space 1 mission. A half year after the space craft launched, a bit of Lisp code was going to control the spacecraft for two days while conducting a sequence of experiments. Unfortunately, a subtle race condition in the code had escaped detection during ground testing and was already in space. When the bug manifested in the wild--100 million miles away from Earth--the team was able to diagnose and fix the running code, allowing the experiments to complete.¹⁴ One of the programmers described it as follows:</p>
<blockquote><p dir="ltr">Debugging a program running on a $100M piece of hardware that is 100 million miles away is an interesting experience. Having a read-eval-print loop running on the spacecraft proved invaluable in finding and fixing the problem.<br>
</p>
</blockquote>
<p dir="ltr"><br>
This is from 'practical common lisp' book. Also original link from JPL: </p>
<p dir="ltr"><a href="http://www.flownet.com/gat/jpl-lisp.html">http://www.flownet.com/gat/jpl-lisp.html</a><br></p>
<div class="gmail_quote">On Dec 12, 2015 4:22 PM, "Wojtek Narczyński" <<a href="mailto:wojtek@power.com.pl">wojtek@power.com.pl</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    On 12.12.2015 08:02, Martin wrote:<br>
    <blockquote type="cite">
      <div style="font-size:12pt;color:#000000;background-color:#ffffff;font-family:Calibri,Arial,Helvetica,sans-serif"><br>
        <p><span style="font-size:12pt"><span></span>So
            my question is:  </span></p>
        <p>Do you think that there are times when Adas philosophy is
          better then Erlang, in a real time system, or is  the Erlang
          model always better? <br>
        </p>
        <p><br>
        </p>
        <br>
      </div>
    </blockquote>
    For life critical systems (lifts, trains, aircrafts), Ada philosophy
    is, to put it gently, better. Bare Ada won't get you there, AdaCore
    was referring to SPARK (Ada + annotations + proofs). But it is also
    very hard to do.<br>
    <br>
    For Lego Mindstorms, you will be fine with Prolog or Erlang. Or
    Curry.
  </div>

<br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div>