From: "Ingo M." <announce@amkade.com>
Subject: Re: why is ada better than forth haskell lisp swi prolog and pharo?
Date: Thu, 16 Nov 2017 08:34:07 -0800 (PST)
Date: 2017-11-16T08:34:07-08:00 [thread overview]
Message-ID: <7c73f1a2-f680-4331-bd6f-ae0a55c267dc@googlegroups.com> (raw)
In-Reply-To: <1510416187.30535.107.camel@obry.net>
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.
next prev parent reply other threads:[~2017-11-16 16:34 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-10 18:54 why is ada better than forth haskell lisp swi prolog and pharo? trump4evahh
2017-11-10 19:45 ` gautier_niouzes
2017-11-11 10:30 ` Ingo M.
2017-11-11 16:03 ` Pascal Obry
2017-11-16 16:34 ` Ingo M. [this message]
[not found] ` <1f23e3dc-6534-44c4-824a-b130869a21ab@googlegroups.com>
2017-12-07 20:15 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox