Re: [Spark] Arrays of Strings

[Hyman Rosen <hyrosen@mail.com>]

Robert A Duff wrote:
> However, I think you're being unfair to SPARK here.

I'm willing to accept that. As I say here frequently, I don't know Ada,
much less subsets thereof (although I did once work with VHDL). I was
reacting to the OP's code. I agree with the principle that Spark is what
it is, and that non-Spark code should be segregated away into hidden
modules that do what they need to. That's much more reasonable than
trying to express the inexpressible in Spark itself.

Whether or not it's reasonable to program in a language without pointers
is another matter, but I guess if people are happy, more power to them.
I suspect that a lot of Spark code may wind up using arrays and indexes,
just like Fortran.