[erlang-questions] Question about Erlang and Ada

Wojtek Narczyński wojtek@REDACTED
Sat Dec 12 14:21:59 CET 2015

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>

More information about the erlang-questions mailing list