Optional explicit `self` parameter declaration in methods

masters3d · August 10, 2022, 2:16pm

Computed properties also use mutating so the syntax we use for functions should also be portable there.

I think it should go in the same position as mutating/nonmutating perhaps as an attribute @selft(inout).

what about nonmutating ? @self(noninout), @self(let)?

apple/swift-evolution/blob/main/proposals/0310-effectful-readonly-properties.md#effects-specifiers-positions

# Effectful Read-only Properties

* Proposal: [SE-0310](0310-effectful-readonly-properties.md)
* Author: [Kavon Farvardin](https://github.com/kavon)
* Review Manager: [Doug Gregor](https://github.com/DougGregor)
* Status: **Implemented (Swift 5.5)**
* Decision Notes: [Pitch](https://forums.swift.org/t/pitch-effectful-read-only-properties/44090),
             [Acceptance](https://forums.swift.org/t/accepted-se-0310-effectful-read-only-properties/47739)
* Implementation: [apple/swift#36430](https://github.com/apple/swift/pull/36430),
                  [apple/swift#36670](https://github.com/apple/swift/pull/36670),
                  [apple/swift#37225](https://github.com/apple/swift/pull/37225)
* Available in [recent `main` snapshots](https://swift.org/download/#snapshots).

## Introduction

Nominal types such as classes, structs, and enums in Swift support [computed properties](https://docs.swift.org/swift-book/LanguageGuide/Properties.html) and [subscripts](https://docs.swift.org/swift-book/LanguageGuide/Subscripts.html), which are members of the type that invoke programmer-specified computations when getting or setting them.  The recently accepted proposal [SE-0296](0296-async-await.md) introduced asynchronous functions via `async`, in conjunction with `await`, but did not specify that computed properties or subscripts can support effects like asynchrony.  Furthermore, to take full advantage of `async` properties, the ability to specify that a property `throws` is also important.  This document aims to partially fill in this gap by proposing a syntax and semantics for effectful read-only computed properties and subscripts.

#### Terminology
A *read-only computed property* is a computed property that only defines a `get` accessor. Similarly, a *read-only subscript* is a subscript that only defines a `get` accessor. Throughout the remainder of this proposal, any unqualified mention of a "property" or "subscript" refers to a read-only version of that member.  Furthermore, unless otherwise specified, the concepts of synchrony, asynchrony, and the definition of something being "async" or "sync" are as described in [SE-0296](0296-async-await.md).

This file has been truncated. show original

@self(ref)?