From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Accessing The Command Line
Date: Thu, 4 Jul 2024 01:50:59 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <v64v62$2erlp$2@dont-email.me>
References: <v64p6n$2dviq$1@dont-email.me> <87plruhs8e.fsf@nightsong.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 04 Jul 2024 03:50:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c455704f93161f76beb27198f91da8a6";
	logging-data="2584249"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Yi72lzjVdrJE324lq34Gc"
User-Agent: Pan/0.158 (Avdiivka; )
Cancel-Lock: sha1:CIJ5e5XDsLO0AkSWBP5ZgYN888w=
Xref: news.eternal-september.org comp.lang.ada:66217
List-Id: <comp.lang.ada>

On Wed, 03 Jul 2024 18:16:01 -0700, Paul Rubin wrote:

> C++ does that polymorphism stuff in iostream so you'd write
>   std::cout << "my name: " << command_line << ...

I know. The disadvantage of the C++ scheme is you cannot easily reorder 
items as necessary to fit the grammar of localized messages. That, I 
think, is why lots of other languages (including Python and Lisp) have 
copied the printf scheme, yet none have seen fit to copy the C++ scheme.

> printf for some people is one of the motivations for dependent types.

I wonder how you would express such a thing in an Ada-friendly fashion?