Re: Accessing The Command Line

Liste des GroupesRevenir à cl ada 
Sujet : Re: Accessing The Command Line
De : no.email (at) *nospam* nospam.invalid (Paul Rubin)
Groupes : comp.lang.ada
Date : 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.

Date Sujet#  Auteur
4 Jul 24 * Accessing The Command Line11Lawrence D'Oliveiro
4 Jul 24 +* Re: Accessing The Command Line4Paul Rubin
4 Jul 24 i`* Re: Accessing The Command Line3Lawrence D'Oliveiro
4 Jul 24 i +- Re: Accessing The Command Line1Rod Kay
4 Jul 24 i `- Re: Accessing The Command Line1Dmitry A. Kazakov
4 Jul 24 +* Re: Accessing The Command Line3Jeffrey R.Carter
5 Jul 24 i`* Re: Accessing The Command Line2Lawrence D'Oliveiro
5 Jul 24 i `- Re: Accessing The Command Line1J-P. Rosen
4 Jul 24 +- Re: Accessing The Command Line1Dmitry A. Kazakov
4 Jul 24 `* Re: Accessing The Command Line2Ben Bacarisse
5 Jul 24  `- Re: Accessing The Command Line1Paul Rubin

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal