<html><head><base href="x-msg://112/"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>PANTA RHEI !</div><div><br></div><div>"<i>No man ever steps in the same river twice, for it's not the same river and he's not the same man."</i> </div><div>(Heraclitus, 535-475 BC)</div><div><br></div><div>Seeing the above, which approach do you think would be more appropriate to what you're trying to achieve?</div><div><br></div><div>In my view: "let it crash" will force you to adjust the "man" that enters the river (you can always learn something from the crash).</div><div>By the same analogy, "build is correct", will ignore the river (if the build is correct, changes to the river, and hence the river, are irrelevant).</div><div>The same should hold for robots. I think.</div><div><br></div><div>V/</div><div><br></div><div><br><div><div>On 12 Dec 2015, at 9:02 AM, Martin wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div id="divtagdefaultwrapper" style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); font-family: Calibri, Arial, Helvetica, sans-serif; "><div style="margin-top: 0px; margin-bottom: 0px; "><span style="font-size: 12pt; "><br class="Apple-interchange-newline">Hi everyone </span></div><div style="margin-top: 0px; margin-bottom: 0px; "><br style="font-size: 12pt; "></div><div style="margin-top: 0px; margin-bottom: 0px; "><span style="font-size: 12pt; ">I have a project in the field of robotics were I consider using Erlang and SWI Prolog for a real time system.  However since I am open for all kind of input, I wrote to a company that sells Ada solutions (since the language is made for critical systems) and asked them to make a case for Ada vs Erlang. They wrote back that they didn't know enough about Erlang to comment on the "let it crash" philosophy but they wrote that:<span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); "> </span></span></div><div style="margin-top: 0px; margin-bottom: 0px; "><span style="font-size: 12pt; "><span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); "><br></span></span></div><div style="margin-top: 0px; margin-bottom: 0px; "><span style="font-size: 12pt; "><span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); ">Ada philosophy is </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); ">"build is correct". That's achieved through an extensive specification </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); ">language (including contract-based programming) together with dynamic </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); ">and static verification techniques. </span></span></div><div style="margin-top: 0px; margin-bottom: 0px; "><span style="font-size: 12pt; "><br></span></div><div style="margin-top: 0px; margin-bottom: 0px; "><span style="font-size: 12pt; "><span style="font-family: Calibri, Arial, Helvetica, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', NotoColorEmoji, 'Segoe UI Symbol', 'Android Emoji', EmojiSymbols; color: rgb(33, 33, 33); "></span>So my question is:  </span></div><div style="margin-top: 0px; margin-bottom: 0px; ">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></div><div style="margin-top: 0px; margin-bottom: 0px; "><br></div><div style="margin-top: 0px; margin-bottom: 0px; ">Appreciate all help I can get <br></div><div style="margin-top: 0px; margin-bottom: 0px; "><br></div><div style="margin-top: 0px; margin-bottom: 0px; ">Best regards <br></div><div style="margin-top: 0px; margin-bottom: 0px; "><br></div><div style="margin-top: 0px; margin-bottom: 0px; ">Martin<br></div><div style="margin-top: 0px; margin-bottom: 0px; "><br style="color: rgb(33, 33, 33); font-size: 13.3333px; "><br style="color: rgb(33, 33, 33); font-size: 13.3333px; "><br></div></div>_______________________________________________<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">http://erlang.org/mailman/listinfo/erlang-questions</a><br></blockquote></div><br></div></body></html>