Re: Q: type ... is new String

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 4 Cze, 13:39, Brian Drummond <br...@shapes.demon.co.uk> wrote:

> Now it seems to me that he would be better off saying
> "type UnsafeString is new String;"
> and bypassing the rest of that (rather long) article entirely.

Except that it would not work in the language that he used for
presentation (which is VBScript, I guess).

> Or am I missing something in that article?

Yes, this:

"Let’s pretend that you’re building some kind of a web-based
application [...]"

The author describes a problem in a well-defined domain (web-based
apps written in some dynamically-typed language similar in nature to
VBScript) and presents a possible solution. Given the constraints, the
solution he proposed is probably the best he could do.

Like it or not, for many people switching to Ada is not a viable
solution.

Having said that, 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.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com