comp.lang.ada
 help / color / mirror / Atom feed
From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Formatted IO - Fortran style or similar.
Date: Tue, 31 Jul 2012 13:56:14 +0200
Date: 2012-07-31T13:56:14+02:00	[thread overview]
Message-ID: <87lii06t5t.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: npbe18d3o3gdc2ut41f1codvv6rhfgidr3@invalid.netcom.com

Dennis Lee Bieber wrote:

> One of the goals for Ada was to put as much checking as possible into
> the compiler... variable argument lists don't support that.

Yes.

How would you handle translatable user visible strings - such as
"Parsing '${file_name}' failed on line ${line_number}." (where "${...}"
identifies parameter substitutions) - in Ada?

The standard library is definitely not (intended to be) the tool for
that job.

Two of the challenges are:

 + How can we (at compile-time) check that the named parameters in the
   translatable string match the parameters passed to the formatting
   routine?

 + How can we (at load-time) check that the parameters used in a
   translated string match those in the translatable string?

Greetings,

Jacob
-- 
"There are two ways of constructing a software design. One way is to
 make it so simple that there are obviously no deficiencies. And the
 other way is to make it so complicated that there are no obvious
 deficiencies."                                    -- C. A. R. Hoare



  parent reply	other threads:[~2012-08-06 14:36 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-07-30  8:50 Formatted IO - Fortran style or similar Mark Murray
2012-07-30  9:59 ` Ian Clifton
2012-07-30 18:57   ` Michael Rohan
2012-07-30 22:12   ` Mark Murray
2012-07-31  7:17     ` Dmitry A. Kazakov
     [not found]     ` <npbe18d3o3gdc2ut41f1codvv6rhfgidr3@invalid.netcom.com>
2012-07-31 11:56       ` Jacob Sparre Andersen [this message]
2012-07-31 15:12         ` stefan-lucks
2012-07-31 17:34           ` Adam Beneschan
2012-08-01  6:56             ` stefan-lucks
     [not found]           ` <be5g18p0gnf2ocdf3hmgjslgnu0jogrh91@invalid.netcom.com>
2012-08-01  6:48             ` stefan-lucks
2012-08-01  8:09           ` Jacob Sparre Andersen
2012-08-01 10:28             ` Georg Bauhaus
2012-08-01 16:28             ` Simon Wright
2012-08-01 19:14             ` Michael Rohan
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox