From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Accessing The Command Line
Date: Thu, 04 Jul 2024 15:06:00 -0700 [thread overview]
Message-ID: <871q4824on.fsf@nightsong.com> (raw)
In-Reply-To: 877ce1vt9z.fsf@bsb.me.uk
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.
prev parent reply other threads:[~2024-07-04 22:06 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-07-04 0:08 Accessing The Command Line Lawrence D'Oliveiro
2024-07-04 1:16 ` Paul Rubin
2024-07-04 1:50 ` Lawrence D'Oliveiro
2024-07-04 15:13 ` Rod Kay
2024-07-04 16:15 ` Dmitry A. Kazakov
2024-07-04 11:27 ` Jeffrey R.Carter
2024-07-04 23:54 ` Lawrence D'Oliveiro
2024-07-05 8:58 ` J-P. Rosen
2024-07-04 13:01 ` Dmitry A. Kazakov
2024-07-04 19:42 ` Ben Bacarisse
2024-07-04 22:06 ` Paul Rubin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox