From: Matteo Bordin <matteo.bordin@gmail.com>
Subject: Re: SPARK - an idea for high integrity data structures
Date: Thu, 22 Jul 2010 03:14:40 -0700 (PDT)
Date: 2010-07-22T03:14:40-07:00 [thread overview]
Message-ID: <edc61b6a-95be-4998-a59b-6bba3b5df01d@t2g2000yqe.googlegroups.com> (raw)
In-Reply-To: 4c46f49d$0$2379$4d3efbfe@news.sover.net
On Jul 21, 3:23 pm, "Peter C. Chapin" <pcc482...@gmail.com> wrote:
> On 2010-07-21 08:40, Phil Thornley wrote:
>
> > There are occasional hints about generics, and I guess that the
> > pressure for these is increasing. OTOH I know that some work on this
> > had already been done five years ago, so I'm not holding my breath.
>
> I attended a webinar on SPARK Pro 9.0 and a question about generics was
> asked there. The answer was, "we are actively working on it, but I can't
> give a specific release date or version." Of course it isn't completely
> clear just what "actively working on it" means. Still, it sounds
> encouraging.
>
> Perhaps the work on the Hi-Lite project is helping to drive generics
> support in SPARK. That's just wild speculation.
Hi-Lite has an open technical mailing list, so feel free to subscribe.
BTW, the Hi-Lite repository is open and accessible on the Open-DO
Forge.
Matteo
prev parent reply other threads:[~2010-07-22 10:14 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-20 12:40 SPARK - an idea for high integrity data structures Phil Thornley
2010-07-20 14:33 ` Matteo Bordin
2010-07-20 19:02 ` Phil Thornley
2010-07-20 19:07 ` Peter C. Chapin
2010-07-20 19:18 ` Simon Wright
2010-07-21 12:40 ` Phil Thornley
2010-07-21 13:23 ` Peter C. Chapin
2010-07-22 10:14 ` Matteo Bordin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox