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