Deutsch English Français Italiano |
<87plruhs8e.fsf@nightsong.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.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 Lines: 10 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= Bytes: 1373 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.