On 13/09/2010 7:45 PM, David Herman wrote:
Here's an executive summary:
- nominal disjoint union types was probably a good choice
Yay!
- if we allow local type declarations, it might be wise to restrict them not to
escape (i.e., not to allow values of the local type to escape)
Ok.
- structural object types was probably a good choice
Double-yay!
- but we're currently missing recursive object types
Yup.
- we may want to look into self-types as a conservative middle-ground towards
the expressiveness of recursive types without hopefully a bit less complexity
than full-blown equirecursive types
Yes, definitely would been keen on this. I'd like to support a
self-typed 'self' variable for self-dispatch as well. self.method(). It
will actually work nicely with the dynamic-overriding version of
operator-as I have half-finished, to give us most of what people want
out of 'inheritance' -- overriding and extension via FRU-like object
wrapping and vtbl extension -- with much more flexibility, as it'll all
be dynamic.
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
