From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: SPARK - an idea for high integrity data structures
Date: Wed, 21 Jul 2010 09:23:31 -0400
Date: 2010-07-21T09:23:31-04:00 [thread overview]
Message-ID: <4c46f49d$0$2379$4d3efbfe@news.sover.net> (raw)
In-Reply-To: <a816345d-ac85-45e2-b919-c926c13b6c21@q12g2000yqj.googlegroups.com>
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.
Peter
next prev parent reply other threads:[~2010-07-21 13:23 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 [this message]
2010-07-22 10:14 ` Matteo Bordin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox