Re: why is ada better than forth haskell lisp swi prolog and pharo?

[Shark8 <onewingedshark@gmail.com>]

On Thursday, December 7, 2017 at 12:53:16 PM UTC-7, polymorph self wrote:
> On Thursday, November 16, 2017 at 11:34:09 AM UTC-5, Ingo M. wrote:
> > Am Samstag, 11. November 2017 17:03:10 UTC+1 schrieb Pascal Obry:
> > 
> > > I understand the ":)" but yet this is far from true. SPARK is built in
> > > Ada, only a prover is in OCaml.
> > 
> > I did not mention the issue to mock Spark. Actually, I think Ada and Spark belong to the best languages ever since Ada/Spark code is practical, well readable, and very maintainable. I just want to point out that the requirement of OCaml could lead newcomers who are interested in Ada and Spark to the impression that OCaml was chosen because Spark (which provides verification as essential part of the language!) is not qualified to do OCaml's job.
> 
> whats spark?

SPARK is a subset of Ada along with proover-tools which allows formal verification on your codebase for proving (eg) the absence of runtime errors or proper data-flow.

Here's a talk on it: https://www.youtube.com/watch?v=plXboBx7LUs
And another, which is *REALLY* good: https://www.youtube.com/watch?v=ruuZVFbRlr4