[erlang-questions] Question about Erlang and Ada

[Wojtek Narczyński]

On 12.12.2015 08:02, Martin wrote:
>
> So my question is:
>
> 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?
>
>
>
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.

For Lego Mindstorms, you will be fine with Prolog or Erlang. Or Curry.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20151212/d79f3a60/attachment.htm>