Sujet : Re: Accessing The Command Line
De : no.email (at) *nospam* nospam.invalid (Paul Rubin)
Groupes : comp.lang.adaDate : 04. Jul 2024, 03:16:01
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87plruhs8e.fsf@nightsong.com>
References : 1
User-Agent : Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
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.