Re: The future of Ada is at risk

[Graham <graham.stark@virtual-worlds.biz>]

On Jan 7, 12:11 am, Brian May <b...@snoopy.apana.org.au> wrote:
> >>>>> "Dmitry" == Dmitry A Kazakov <mail...@dmitry-kazakov.de> writes:
>
>     Dmitry> [ I think that the issue with static typing can be resolved. Of course the
>     Dmitry> best way would be a support for anonymous record types (tuples). But there
>     Dmitry> exist also possibilities to use generics or else to have abstract base
>     Dmitry> tagged types for cells.]
>
> My preference for implementing such a system would be to have a
> pre-compiler that compiles the basic table definitions into Ada code
> that can be compiled with the rest of the application (e.g. like IDL
> compilers).
>
> That way you get static type checking, minimal run-time overhead, etc.
>
> However, I suspect that I just turned off a lot of people who don't
> like pre-compilers.
> --
> Brian May <b...@snoopy.apana.org.au>

I wrote a little system like this and posted it to the Gnade list the
other day.

http://www.virtual-worlds.org.uk/downloads/mill.tgz

It's fairly preliminary, but works for me.

Graham