From: Shark8 <onewingedshark@gmail.com>
Subject: Re: is Spark 2014 more similar to Eiffel
Date: Fri, 10 Jul 2015 18:59:49 -0700 (PDT)
Date: 2015-07-10T18:59:49-07:00 [thread overview]
Message-ID: <0c5c1d39-fb2b-4ca4-a740-a66b6ddb0cbe@googlegroups.com> (raw)
In-Reply-To: <0729f64f-630c-4f9b-890f-954c37aa7c71@googlegroups.com>
On Friday, July 10, 2015 at 3:32:19 PM UTC-6, noma...@gmail.com wrote:
> Does Spark 2014 turn Ada 2012 into Eiffel-like programming language? Not the syntax but programming style.
In general: no.
Ada 2012 w/ aspects *can* (IIUC) be Eiffel-like, but SPARK goes beyond that into provability. [That surpasses mere precondition/postcondition checking.]
IIRC, This thread has an interesting comparison:
https://groups.google.com/forum/#!topic/comp.lang.ada/Wt1CnIb1kAE
HOWEVER, having said that, there are some interesting results from a study on how contracts are used in Eiffel on SPARK's website:
http://www.spark-2014.org/entries/detail/studies-of-contracts-in-practice
prev parent reply other threads:[~2015-07-11 1:59 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-10 21:32 is Spark 2014 more similar to Eiffel nomadfate
2015-07-11 1:59 ` Shark8 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox