From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.lang.ada
Subject: Re: Accessing The Command Line
Date: Thu, 04 Jul 2024 20:42:00 +0100
Organization: A noiseless patient Spider
Message-ID: <877ce1vt9z.fsf@bsb.me.uk>
References: <v64p6n$2dviq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Thu, 04 Jul 2024 21:42:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b0d7afae60ab6b97749d31579332c9a3";
	logging-data="3047141"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/lweBGc5GnQxyjuccStWtXArLg8TnfU7k="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:TitQR2XBSVca5lTqeLJ/vc+HTvo=
	sha1:n8UJbcdictGD3Y7rj4OTgSzitbA=
X-BSB-Auth: 1.9bf222f96bff62ecb504.20240704204200BST.877ce1vt9z.fsf@bsb.me.uk
Xref: news.eternal-september.org comp.lang.ada:66222
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.

No so.  Haskell has Text.Printf.

-- 
Ben.