[cap-talk] David Wagner's Google techtalk is now up!

[Mark Miller]

On Dec 12, 2007 3:15 PM, Mathieu Suen <mathieusuen at yahoo.fr> wrote:
> But can you tell me which security bugs that a static type language
> can prevent that dynamicaly type system can't?

A dynamic type system can provide exactly as much integrity (safety,
consistency) as a static type system. In both cases, integrity
violations are prevented -- whether statically or at runtime.

Regarding availability (i.e., liveness, progress, resistance to denial
of service attacks), a static type system can give you confidence that
various type failures won't happen at runtime.

-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM