Anton3

Nil struct

• Proposal: SE-NNNN
• Authors: Anton Zhilin
• Review Manager: TBD
• Status: Awaiting review

Introduction

Change nil literal type from () to Nil.

Anton3

Refine if case syntax

• Proposal: SE-NNNN
• Authors: Anton Zhilin
• Review Manager: TBD
• Status: Awaiting review

Introduction

Change syntax of pattern-matching versions of if and guard.

Anton3

       /────────────────────── Domain 1
      /
     /                       /───────────── Domain 2
    /                       /
─────────────────────────────────────────────────────── Core operators
             \
              \──────────────────────────── Domain 3
               \
 \──────────────── Domain 4

Anton3

Refactor metatypes

• Proposal: SE-0126
• Authors: Adrian Zubarev, Anton Zhilin
• Status: Revision
• Review manager: Chris Lattner
• Revision: 2
• Previous Revisions: 1

Introduction

Anton3

Remove .Protocol metatype

• Proposal: SE-0126
• Authors: Adrian Zubarev, Anton Zhilin
• Status: Revision
• Review manager: Chris Lattner
• Revision: 2
• Previous Revisions: 1

Introduction

Anton3

The metatypes explanation

For every type T in Swift, there is an associated metatype T.Type.

Basics: function specialization

Let's try to write a generic function like staticSizeof. We will only consider its declaration; implementation is trivial and unimportant here.

Out first try would be:

Anton3

Refactor Metatypes, repurpose T.self and Mirror

• Proposal: SE-NNNN
• Author: Adrian Zubarev, Anton Zhilin
• Status: Awaiting review
• Review manager: TBD

Introduction

This proposal want to revise metatypes T.Type, repurpose public T.self notation to return a new Type type instance rather than a metatype, merge SE-0101 into Type, rename the global function from SE-0096 to match the changes of this proposal and finally rename current Mirror type to introduce a new (lazy) Mirror type.

Anton3

Refactor metatypes

• Proposal: SE-NNNN
• Author: Anton Zhilin
• Status: Awaiting review
• Review manager: TBD

Introduction

• Rename metatypes T.Type to Metatype

Anton3

Seal T.Type into Type<T>

• Proposal: SE-NNNN
• Author: Adrian Zubarev, Anton Zhilin
• Status: Awaiting review
• Review manager: TBD

Summary

• Replace T.self notation with T.metatype and T.Type with Metatype<T>

Anton3

function-type → ( function-type-parameters_opt ) throws-annotation_opt -> type

function-type-parameters → function-type-parameter , function-type-parameters

function-type-parameters → function-type-parameter ..._opt

function-type-parameter → attributes_opt inout_opt type

throws-annotation → throws | rethrows