box types (do we want those?)

[nikomatsakis]

No description provided.

[crlf0710]

A very aggressive idea on this: Could we decouple types and storage / representation further?

if there's a

class Point(var x, var y)

it says it provides x, y fields following the ownership model.

A boxed version of "Point" provides this, with a heap representation, where these two fields can be accessed from the heap.

An array version of "Point" provides this, where these two fields corresponds to continuous memory.

A json version of "Point" provides this, with a json representation, where these fields are represented within json representation too.

[nikomatsakis]

Neat idea.