[cap-talk] Access Abstraction vs Static Typing (was: David Wagner's Google techtalk is now up!)

[Sandro Magi]

Jonathan S. Shapiro wrote:
> Yes conceptually, but the observation that I came to with Scott Smith
> was that you can sometimes (in fact, often) do safe unserialization by
> validating the range-constrained scalars in place on an immutable byte
> sequence, and then return a deeply immutable pointer with the upcasted
> type that aliases the same storage. By doing this you avoid all of the
> copying overheads that typically are associated with deserialization.

This trick seems platform specific. The serialized form from one
platform could not be used on another platform that was sufficiently
different (particularly 32 vs 64-bit).

Sandro