Deutsch English Français Italiano |
<871q4824on.fsf@nightsong.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feeds.phibee-telecom.net!news.mixmin.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: Thu, 04 Jul 2024 15:06:00 -0700 Organization: A noiseless patient Spider Lines: 8 Message-ID: <871q4824on.fsf@nightsong.com> References: <v64p6n$2dviq$1@dont-email.me> <877ce1vt9z.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Fri, 05 Jul 2024 00:06:00 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9dd420548cfb319d51f5a507d9907f4c"; logging-data="3091727"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19wQETEYG/cVHn9iOU4HP6w" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) Cancel-Lock: sha1:uNNEGL2QRsrLBQNQB4MSrspO+oM= sha1:YsB/96CnRCSSVZCQhXx9tRVshFo= Bytes: 1337 Ben Bacarisse <ben@bsb.me.uk> 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. > No so. Haskell has Text.Printf. Text.Printf is not fully type safe. printf "%d\n" "foo" throws an "bad formatting character" exception, really amounting to a runtime type exception.