Skip to content

Instantly share code, notes, and snippets.

View Anton3's full-sized avatar

Anton Zhilin Anton3

21 followers · 3 following
View GitHub Profile
@Anton3
Anton3 / multipleCatchExample.swift
Created December 20, 2015 08:36
func f() throws Error1 { return 42 }
func g(meaning: Int) throws Error2 { print(meaning) }
func test() {
do {
try g(try f())
} catch let err1 as Error1 {
print("Error1")
} catch let err2 as Error2 {
print("Error2")
@Anton3
Anton3 / property-behaviours.md
Last active February 25, 2016 12:51

Suggestion for behaviours proposal

Basic syntax

public behaviour lazy<Value>: Value {
  private var storage: Value?

  // Only `init()` allowed for now
 init() {
@Anton3
Anton3 / mixins-draft.md
Last active October 18, 2018 18:09

Mixins

  • Proposal: SE-NNNN
  • Author(s): Anton3
  • Status: Awaiting review
  • Review manager: TBD

Introduction

Add mixins, which contain both protocol requirements and stored properties. Mixins will subsume abstract class functionality and allow similar functionality on structs. They will also allow for safe multiple inheritance, defining standard "bricks" carrying interface, implementation and state, which can be reused in multiple types.

@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

@Anton3
Anton3 / seal-metatype.md
Last active July 15, 2016 22:54
@Anton3
Anton3 / NNNN-refactor-metatypes.md
Last active July 20, 2016 09:08

Refactor metatypes

Introduction

  • Rename metatypes T.Type to Metatype
@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 / metatypes-explanation.md
Last active December 5, 2023 07:06

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 / NNNN-remove-protocol-metatype.md
Last active July 25, 2016 14:13
@Anton3
Anton3 / NNNN-refactor-metatypes.md
Last active July 25, 2016 16:33