Re: SPARK code samples

["(see below)" <yaldnif.w@blueyonder.co.uk>]

On 11/08/2010 18:39, in article
bbc93c1c-9e12-4682-912d-9ff961c3a7a5@p7g2000yqa.googlegroups.com, "Ada
novice" <ycalleecharan@gmx.com> wrote:

> On Aug 11, 7:32�pm, Mark Lorenzen <mark.loren...@gmail.com> wrote:
>> 
>> I also think there is a risk of getting stuck with SPARK if you try to
>> design a SPARK program with Ada in mind. You constantly bump into a
>> useful feature of Ada that is not in SPARK (discriminated types, array
>> slicing etc.) and you think "why the h... isn't that a part of SPARK
>> when it's so easy to do in Ada?". So it's probably a way of tuning
>> your mindset from "Ada with restrictions" into SPARK.
>> 
> 
> So you're saying not to think in terms of Ada when approaching SPARK?
> I have yet to lay my hands on a copy of Barnes' SPARK book to learn
> SPARK syntax and I can understand that SPARK is not just Ada with some
> annotations.

Yebbut. It is.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk