Skip to content

Instantly share code, notes, and snippets.

View Anton3's full-sized avatar

Anton Zhilin Anton3

29 followers · 3 following
View GitHub Profile
@Anton3
Anton3 / nil-struct.md
Created November 8, 2016 20:24

Nil struct

Introduction

Change nil literal type from () to Nil.

@Anton3
Anton3 / NNNN-if-case-syntax.md
Last active October 30, 2016 12:30

Refine if case syntax

Introduction

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

@Anton3
Anton3 / trees.md
Last active August 2, 2016 18:33 
       /────────────────────── Domain 1
      /
     /                       /───────────── Domain 2
    /                       /
─────────────────────────────────────────────────────── Core operators
             \
              \──────────────────────────── Domain 3
               \
 \──────────────── Domain 4
@Anton3
Anton3 / NNNN-refactor-metatypes.md
Last active July 25, 2016 16:33
@Anton3
Anton3 / NNNN-remove-protocol-metatype.md
Last active July 25, 2016 14:13
@Anton3
Anton3 / metatypes-explanation.md
Last active March 25, 2025 05:34

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
Anton3 / type-mirror-proposal.md
Created July 21, 2016 17:03

Refactor Metatypes, repurpose T.self and Mirror

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
Anton3 / NNNN-refactor-metatypes.md
Last active July 20, 2016 09:08

Refactor metatypes

Introduction

  • Rename metatypes T.Type to Metatype
@Anton3
Anton3 / seal-metatype.md
Last active July 15, 2016 22:54
@Anton3
Anton3 / function-types.md
Last active July 3, 2016 14:26

function-type → ( function-type-parametersopt ) throws-annotationopt -> type

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

function-type-parameters → function-type-parameter ...opt

function-type-parameter → attributesopt inoutopt type

throws-annotation → throws | rethrows