[swift-evolution] Epic: Typesafe calculations

Dave Abrahams dabrahams at apple.com
Thu Jan 21 14:22:44 CST 2016

on Wed Jan 20 2016, Tino Heth <2th-AT-gmx.de> wrote:

>> Yeah, I knew that's what you were doing.  If you extend typealiases
>> enough, I suppose, they become like class templates with partial
>> specialization, but supporting them throughout the language would
>> require fundamental changes to our type system that have nothing
>> intrinsically to do with typealiases.
> Speaking of the type system:
> Has there been any discussion about inheritance for structs?

Yes, struct subtyping has come up several times.  There are several
things I'd like to do with it in the standard library.


More information about the swift-evolution mailing list