<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<p><br>
</p>
<p><span style="font-size:12pt">Hi everyone </span></p>
<p><br style="font-size:12pt">
</p>
<p><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></p>
<p><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></p>
<p><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></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><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></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>
<p>Appreciate all help I can get <br>
</p>
<p><br>
</p>
<p>Best regards <br>
</p>
<p><br>
</p>
<p>Martin<br>
</p>
<p><br style="color:rgb(33,33,33); font-size:13.3333px">
<br style="color:rgb(33,33,33); font-size:13.3333px">
<br>
</p>
</div>
</body>
</html>