Re: Q: type ... is new String

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

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.