comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Q: type ... is new String
Date: Mon, 4 Jun 2012 17:14:49 +0200
Date: 2012-06-04T17:14:49+02:00	[thread overview]
Message-ID: <ljq3c42wn6kg.137fdbql13gf0$.dlg@40tude.net> (raw)
In-Reply-To: 4fcccd1f$0$6583$9b4e6d93@newsspool3.arcor-online.net

On Mon, 04 Jun 2012 16:58:38 +0200, Georg Bauhaus wrote:

> On 04.06.12 15:36, Maciej Sobczak wrote:
> 
>> I agree that most of the security problems that
>> plague the web-development ecosystem could be solved with a proper
>> type system and static type-safety.
> 
> To illustrate a problem, web programming is almost always confronting
> I/O of untyped "text": of implicit, ambiguous, indeterminable,
> inconsistent, wrong encoding. There is no perfect way to prevent
> exception raising effects, remember that most systems are layered,
> and disconnected. Basic AI is needed to make educated guesses about
> to the meaning of octet sequences.
> 
> Any complaint about malformed output at the other end is likely
> justified, but useless: "We *must* have the data. Do your best!"

malformed /= untyped.

Typing is about a way to describe behavior. Anything you can do in an
untyped way you can do typed and conversely, since both is Turing complete.
Malformed, but legal input must be parsed and mapped onto a set of properly
typed objects. Where is a problem?

Miserable state of internet standards is not directly related to the
pitiful methods of programming usual to internet applications. Though both
may be consequences of same attitude to software design.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2012-06-04 15:16 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-05-30 16:33 Q: type ... is new String tmoran
2012-05-30 17:04 ` Dmitry A. Kazakov
2012-05-31  7:37 ` Maciej Sobczak
2012-06-04  5:58   ` Yannick Duchêne (Hibou57)
2012-06-04  6:30     ` J-P. Rosen
2012-06-04  7:48       ` Yannick Duchêne (Hibou57)
2012-06-04  8:03         ` Dmitry A. Kazakov
2012-06-04  8:14           ` Yannick Duchêne (Hibou57)
2012-06-04  9:09             ` Dmitry A. Kazakov
2012-06-04 10:35         ` J-P. Rosen
2012-06-04  5:43 ` Yannick Duchêne (Hibou57)
2012-06-04 11:39 ` Brian Drummond
2012-06-04 13:36   ` Maciej Sobczak
2012-06-04 14:58     ` Georg Bauhaus
2012-06-04 15:14       ` Dmitry A. Kazakov [this message]
2012-06-04 16:06         ` Georg Bauhaus
2012-06-04 17:05           ` Dmitry A. Kazakov
2012-06-04 20:28             ` Yannick Duchêne (Hibou57)
2012-06-04 20:56             ` Georg Bauhaus
2012-06-05  7:32               ` Dmitry A. Kazakov
2012-06-05  8:40                 ` Georg Bauhaus
2012-06-05  9:06                   ` Dmitry A. Kazakov
2012-06-05 12:20                     ` Georg Bauhaus
2012-06-05 13:14                       ` Dmitry A. Kazakov
2012-06-06  4:09                       ` Shark8
2012-06-06  8:52                         ` Georg Bauhaus
2012-06-06 23:56                       ` Randy Brukardt
2012-06-07 11:15                         ` Georg Bauhaus
2012-06-06 23:51                 ` Randy Brukardt
2012-06-04 20:33         ` Yannick Duchêne (Hibou57)
2012-06-04 21:27           ` Georg Bauhaus
     [not found]             ` <m9kqs7hgii13e220b1phm46n43d92tu1pj@invalid.netcom.com>
2012-06-05  6:15               ` Georg Bauhaus
2012-06-05  6:36                 ` Yannick Duchêne (Hibou57)
2012-06-06  4:14               ` Shark8
2012-06-07  0:01             ` Randy Brukardt
2012-06-07  0:20               ` Adam Beneschan
2012-06-05 12:05     ` Brian Drummond
2012-06-05 14:43       ` Yannick Duchêne (Hibou57)
2012-06-04 15:54   ` Shark8
2012-06-04 22:01     ` Jeffrey Carter
2012-06-05 12:10       ` Brian Drummond
replies disabled

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