[swift-evolution] Epic: Typesafe calculations

[Dave Abrahams]

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.

Cheers,
Dave