* 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