[erlang-questions] Question about Erlang and Ada
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...
More information about the erlang-questions