<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
On 12.12.2015 08:02, Martin wrote:<br>
<blockquote
cite="mid:DB3PR08MB01729FD6E7FD0DFAC71D611CF5EB0@DB3PR08MB0172.eurprd08.prod.outlook.com"
type="cite">
<div id="divtagdefaultwrapper" style="font-size:12pt;
color:#000000; background-color:#FFFFFF;
font-family:Calibri,Arial,Helvetica,sans-serif"><br>
<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>
<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.
</body>
</html>