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: Thu, 04 Jul 2024 15:06:00 -0700
Organization: A noiseless patient Spider
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=
Xref: news.eternal-september.org comp.lang.ada:66223
List-Id: <comp.lang.ada>

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.