Michel Fortin michelf

Really Simple Submodules

Motivation

The goal of this proposal is to provide lightweight intra-module boundaries so you can avoid exposing every internal declaration within a big module to all other files in the module.

Not a goal: addressing the file-level access fileprivate/private or scoped/protected debates. This is left to other proposals.

Pure for guarantied value semantics

Author: Michel Fortin

Introduction

This proposal introduces the concept of pure functions to Swift. A pure function is guarantied to allow only value semantics, even when dealing with classes.

Concurrent

Author: Michel Fortin

Introduction

This proposal introduces the concept of concurrent functions to Swift. A concurrent function is guarantied to be thread-safe by protecting access to shared mutable states.

A Hierarchy of Actors

This is an attempt to define an Actor system where some actors can make synchronous calls to others. It tries to keep blocking on the margins — where it is more tolerable — and to not allow anything that could cause deadlocks.

There are two basic rules to add to the current actor pitch:

Actors can have a parent actor chosen when initializing the actor.
A child actor can call synchronously methods of its parent actor.

A typical application could look like this. The Main thread actor has child task actors, which can have subtasks:


	/// An type with a default form.
	protocol DefaultFormRepresentable {
	static var defaultForm: Self { get }
	var isDefaultForm: Bool { get }
	}

	// MARK: Generic conformance based on other protocols

	// generic implementation for array-style collections