Re: SPARK code samples

[Ada novice <ycalleecharan@gmx.com>]

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.

YC