[sbelskie]

The most interesting feature here (though included only as a preview) is static abstract members on interfaces, which will make things like generic math possible.

[nick_]

This is a great ability actually.

That said, I think I'd prefer the addition of structural inheritance to the existing nominal inheritance. Also, algebraic types.