From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Accessing The Command Line
Date: Wed, 03 Jul 2024 18:16:01 -0700
Organization: A noiseless patient Spider
Message-ID: <87plruhs8e.fsf@nightsong.com>
References: <v64p6n$2dviq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Thu, 04 Jul 2024 03:16:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7141b374169c5e86e3f3381b7c9b90bd";
	logging-data="2564348"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19lhdWjeNl+XBz+PqHg4Cz0"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:G7sucipRCrbfHSmIYXUOyoRRAUs=
	sha1:t73mkvgT1sk8qBt1yhb4c7xzdRw=
Xref: news.eternal-september.org comp.lang.ada:66216
List-Id: <comp.lang.ada>

Lawrence D'Oliveiro <ldo@nz.invalid> writes:
> Though I recognize that there is no way to do printf style in a
> type-safe fashion, short of going to a fully-dynamic language.

C++ does that polymorphism stuff in iostream so you'd write
  std::cout << "my name: " << command_line << ...
 
Haskell does something sort of similar with additional machinery.

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