Skip to content

Instantly share code, notes, and snippets.

View Anton3's full-sized avatar

Anton Zhilin Anton3

22 followers · 3 following
View GitHub Profile
@Anton3
Anton3 / NNNN-separate-bitwise-precedence.md
Created November 20, 2016 10:48

Feature name

Introduction

Bitwise and arithmetic operators are very different, and their precedence relationship is not obvious.

@Anton3
Anton3 / 9999-ifcaseguardcase.md
Created November 14, 2016 17:31

Simplifying guard case/if case syntax

  • Proposal: TBD
  • Author: Erica Sadun
  • Status: TBD
  • Review manager: TBD

Introduction

This proposal re-architects guard case and if case grammar for unwrapping complex enumerations. It drops the case keyword from if and guard, replaces = with ~=, and introduces the := operator that combines declaration with assignment.

@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 / 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