JensAyton

/*
    © 2010 Jens Ayton
    This code may be used freely.
*/

uniform float uValue;  // Value/brighness component.

const float kPi = 3.141592653589793;

JensAyton

// Yes, this is reduced from code that works and does something arguably useful.

protocol P1 {
    associatedtype A1
    func f(_: A1)
}

protocol P2: P1 {
    associatedtype A2: P2
    var a2: A2 { get }

JensAyton

Pre-pitch: Capturing cases as closures

Ever since key paths were introduced, giving us a tool to abstract over members of structs and enums, I have felt that there should be an equivalent tool for enums – particularly enums with associated values. I’ve been assuming this would take a similar form to key paths, but another approach recently occurred to me.

Let’s start with a motivating example: event handling. If you used Swift for Mac or Windows application development in the 90s, your code would have contained something like this:

// AppController.swift

func handleEvent(_ event: Event) {

JensAyton

import Foundation

public struct AnyEquatable: Equatable {
    private struct EquatableBox<T: Equatable>: Hashable {
        let value: T

        func hash(into hasher: inout Hasher) {
            preconditionFailure("EquatableBox must never be hashed")
        }
    }

JensAyton

enum Tristate: ExpressibleByNilLiteral, ExpressibleByBooleanLiteral {
    case maybe
    case no
    case yes

    init(nilLiteral: Void) {
        self = .maybe
    }

    init(booleanLiteral value: Bool) {

JensAyton

Moved to a repo: https://github.com/Ahruman/ClassCrawler

JensAyton

struct Test {}

extension Test: LosslessStringConvertible {
    init?(_ description: String) {
        print("unlabelled init")
    }

    var description: String { "Test" }
}

JensAyton

let opIncr: UInt8 = 43   // +
let opDecr: UInt8 = 45   // -
let opPrev: UInt8 = 60   // <
let opNext: UInt8 = 62   // >
let opFwd: UInt8 = 91    // [
let opBck: UInt8 = 93    // ]
let opOutput: UInt8 = 46 // .
let opInput: UInt8 = 44  // ,
let opStop: UInt8 = 0

JensAyton

// Sketch for multiple return values in Objective-C

// Method declaration:
- (id, NSError *) someMethod:param;

// Desugars to:
typedef struct { id a, NSError *b } __someMethodResult; // Obviously gensym/anonymous in real implementation
- (__someMethodResult) someMethod:param;

// Return type encoding would be "{?=@@}", anonymous struct of two objects.

JensAyton

extern "C" {
	// This is global, but you can call it what you like
	inline void MyPrefixedCFShow(const void *object) {
		// Redeclared system function is local scope and counts as extern "C"
		extern void CFShow(const void * object);
		CFShow(object);
	}
}

class DumbThing {