From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ac4955b8006bd13c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.196.232 with SMTP id ip8mr10891559pbc.6.1338826004234;
        Mon, 04 Jun 2012 09:06:44 -0700 (PDT)
Path: 
 l9ni20732pbj.0!nntp.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx02.iad01.newshosting.com!newshosting.com!87.79.20.101.MISMATCH!newsreader4.netcologne.de!news.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 04 Jun 2012 18:06:36 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:12.0) Gecko/20120428 Thunderbird/12.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Q: type ... is new String
References: <jq5i58$qe8$1@speranza.aioe.org> <jqi6qb$oms$1@dont-email.me>
 <82defba0-2d39-4418-b678-ebbefeb105d7@x21g2000vbc.googlegroups.com>
 <4fcccd1f$0$6583$9b4e6d93@newsspool3.arcor-online.net>
 <ljq3c42wn6kg.137fdbql13gf0$.dlg@40tude.net>
In-Reply-To: <ljq3c42wn6kg.137fdbql13gf0$.dlg@40tude.net>
Message-ID: <4fccdd0c$0$6578$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 04 Jun 2012 18:06:37 CEST
NNTP-Posting-Host: b2960ce2.newsspool3.arcor-online.net
X-Trace: 
 DXC=J6<`al_F<2Gj7E:bke<5HFMcF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOKIQ>WRE0Pj]@nc\616M64>JLh>_cHTX3jM9X5NR@3\m3C
X-Complaints-To: usenet-abuse@arcor.de
X-Received-Bytes: 2295
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-06-04T18:06:37+02:00
List-Id: <comp.lang.ada>

On 04.06.12 17:14, Dmitry A. Kazakov wrote:

> malformed /= untyped.
> 
> Typing is about a way to describe behavior.

Well, yes, though in the web word, "type" may de facto mean "element type"
at best. The problem with strings is not that one could speak
about operations PUT, GET, DELETE, HEAD, and so on, and consider
these the behavior of something. The problem is data that cannot
reliably parsed and mapped to a set of properly typed objects. But
we still must have that information!

Everything in practice is implicit, ambiguous, indeterminable,
inconsistent. This may be a consequence of the attitude in the web,
which does not normally use "type" at all. Not at the level of
system integration, where it matters. The AI job, then, is to look
at the forms and try to make sense, even when things are malformed.
REJECT is not an option.

> 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.