comp.lang.ada
 help / color / mirror / Atom feed
From: Ben <ben.usenet@bsb.me.uk>
Subject: Re: who needs types? Types makes code ugly.
Date: Thu, 02 Jun 2022 16:02:58 +0100	[thread overview]
Message-ID: <87wndzt8f1.fsf@bsb.me.uk> (raw)
In-Reply-To: nnd$1dfb707b$1866b51a@6cddbe3899d992f0

ldries46 <bertus.dries@planet.nl> writes:

> As someone who has been programming since 1966 I used several
> different languages, Algol 60, Fortran, Basic, C/C++ and Ada, I like
> using strong types because the most ugly faults you can create are the
> ones where you by accident use different types in the input or the
> output of a formula.

The terms being using in this thread might need to tightened up a bit
because I think you are talking about strong /static/ typing.

Python is strongly typed (though exactly how "strong" is debatable) but
the checking is at run-time, so you have to rely on testing rather than
the compiler.  (I don't know enough about Python's new static type
syntax to know how strong that is, but it's optional anyway.)

Also, the OP is talking about removing all those messy types, and that's
not necessarily the same as removing type checking, either static type
checking or at run-time.  Haskell, for example, has strong static type
checking, but a lot of Haskell is written without ever using a type
because of the language's type inference mechanism.

-- 
Ben.

  reply	other threads:[~2022-06-02 15:02 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-06-02  3:21 who needs types? Types makes code ugly Nasser M. Abbasi
2022-06-02  8:00 ` Doctor Who
2022-06-02  8:37   ` Dmitry A. Kazakov
2022-06-02 10:08     ` Nasser M. Abbasi
2022-06-02 10:39       ` Dmitry A. Kazakov
2022-06-02 13:22     ` Stéphane Rivière
2022-06-06 23:26     ` Jerry
2022-06-02 10:47 ` Jeffrey R.Carter
2022-06-02 11:47 ` ldries46
2022-06-02 15:02   ` Ben [this message]
2022-06-02 22:10     ` John Perry
2022-06-03  0:02       ` Ben
2022-06-03  3:37         ` Dennis Lee Bieber
2022-06-03 18:13           ` Ben
2022-06-03 18:34             ` Niklas Holsti
2022-06-03 20:27               ` John Perry
2022-06-03 20:56               ` Ben
2022-06-04  0:28               ` Randy Brukardt
2022-06-04 12:05                 ` What's new in Ada 2022? (was: Re: who needs types? Types makes code ugly.) Dirk Craeynest
2022-06-17 17:33                 ` who needs types? Types makes code ugly Wesley Pan
2022-06-17 20:46                   ` Paul Rubin
2022-06-18  2:06                   ` Randy Brukardt
2022-06-18 10:29                     ` Dirk Craeynest
2022-06-18 22:16                       ` Paul Rubin
2022-06-20 21:40                       ` Randy Brukardt
2022-06-02 17:28 ` Keith Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox