From: Pascal Obry <pascal@obry.net>
Subject: Re: why is ada better than forth haskell lisp swi prolog and pharo?
Date: Sat, 11 Nov 2017 17:03:07 +0100
Date: 2017-11-11T17:03:07+01:00 [thread overview]
Message-ID: <1510416187.30535.107.camel@obry.net> (raw)
In-Reply-To: 8cca1136-b15a-4528-82c5-3505e2416915@googlegroups.com
Le samedi 11 novembre 2017 à 02:30 -0800, Ingo M. a écrit :
> > it is better than any random list of other ones ;-)
>
> Ah, that explains why SPARK 2014 (which is better than Ada) is not
> built with Ada but OCaml :-)
I understand the ":)" but yet this is far from true. SPARK is built in
Ada, only a prover is in OCaml. I'm not sure all of them are.
The SPARK compiler and checker is in Ada.
--
Pascal Obry / Magny Les Hameaux (78)
The best way to travel is by means of imagination
http://www.obry.net
gpg --keyserver keys.gnupg.net --recv-key F949BD3B
next prev parent reply other threads:[~2017-11-11 16:03 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 [this message]
2017-11-16 16:34 ` Ingo M.
[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