* is Spark 2014 more similar to Eiffel
@ 2015-07-10 21:32 nomadfate
2015-07-11 1:59 ` Shark8
0 siblings, 1 reply; 2+ messages in thread
From: nomadfate @ 2015-07-10 21:32 UTC (permalink / raw)
Does Spark 2014 turn Ada 2012 into Eiffel-like programming language? Not the syntax but programming style.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: is Spark 2014 more similar to Eiffel
2015-07-10 21:32 is Spark 2014 more similar to Eiffel nomadfate
@ 2015-07-11 1:59 ` Shark8
0 siblings, 0 replies; 2+ messages in thread
From: Shark8 @ 2015-07-11 1:59 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-07-11 1:59 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-10 21:32 is Spark 2014 more similar to Eiffel nomadfate
2015-07-11 1:59 ` Shark8
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox