Skip to content

Swift 5.9 release blog post #372

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 51 commits into from
Sep 18, 2023
Merged
Changes from all commits
Commits
Show all changes
51 commits
Select commit Hold shift + click to select a range
113c1bf
add first blog post draft
alexandersandberg Aug 29, 2023
2f8aa20
include SE-0386 in evolutions appendix
alexandersandberg Aug 29, 2023
1f9e12f
add c++ interoperability section
alexandersandberg Aug 29, 2023
40d1057
Update 2023-08-29-swift-5.9-released.md (#374)
tomerd Aug 30, 2023
cf20b9a
update debugging section
alexandersandberg Aug 30, 2023
7518f22
update swift syntax section
alexandersandberg Aug 30, 2023
e1bc48b
add language and standard library section
alexandersandberg Sep 2, 2023
9bf6871
fix casing of section title
alexandersandberg Sep 2, 2023
d147e4a
Add a Crash Handling subsection. (#376)
al45tair Sep 4, 2023
1171ead
remove completed TODOs
alexandersandberg Sep 5, 2023
dd2d3a1
add details element to hide code snippet
alexandersandberg Sep 5, 2023
8e492da
add SE-0395 to evolutions list
alexandersandberg Sep 5, 2023
0fa3a86
Remove promise of a future blog post. (#381)
al45tair Sep 7, 2023
79798f7
Update _posts/2023-08-29-swift-5.9-released.md
tomerd Sep 8, 2023
06e45f4
Updates to the 5.9 blog post draft. (#398)
hborla Sep 11, 2023
c2af136
Editorial pass for more consistent language and section structure.
hborla Sep 11, 2023
9fe1cc8
Update _posts/2023-08-29-swift-5.9-released.md
tomerd Sep 12, 2023
a183a95
Update _posts/2023-08-29-swift-5.9-released.md
tomerd Sep 12, 2023
019cfc3
Update _posts/2023-08-29-swift-5.9-released.md
tomerd Sep 12, 2023
0121079
use smart quotes
alexandersandberg Sep 14, 2023
da1c493
address PR feedback
alexandersandberg Sep 14, 2023
475a1d7
Improvements to the release blog post introduction.
hborla Sep 15, 2023
2d316a2
Improve the framing of the language introduction, and flip the order of
hborla Sep 15, 2023
3e08eb3
Minor editorial changes in the debugging section.
hborla Sep 15, 2023
2eb95ab
Minor editorial changes in the Swift Syntax section.
hborla Sep 15, 2023
902fa61
Editorial changes for the Swift Package Manager section.
hborla Sep 15, 2023
03ae353
Re-combine the bullet point about SE-0391 and signed packages. Signed
hborla Sep 15, 2023
4bb86ae
Lift up C++ interop to the top of the Ecosystem section.
hborla Sep 15, 2023
b038546
Update _posts/2023-08-29-swift-5.9-released.md
hborla Sep 15, 2023
dc5f3f2
Update _posts/2023-08-29-swift-5.9-released.md
hborla Sep 15, 2023
7d2f70a
Add a code example of Swift-C++ interop.
hborla Sep 15, 2023
667bbf1
Show an API before and after parameter packs to demonstrate reducing …
hborla Sep 15, 2023
5f81630
Editorial changes to the Windows section.
hborla Sep 15, 2023
4f13f19
More editorial changes for the language section.
hborla Sep 15, 2023
ccc6457
Add subheaders to the Language section
cthielen Sep 15, 2023
d894100
Add macro examples
cthielen Sep 15, 2023
5838920
Minor tweaks to the C++ example flow
cthielen Sep 15, 2023
6ef669d
Use consistent formatting for code examples.
hborla Sep 16, 2023
57a95c8
Add a Next Steps section at the end of the post.
hborla Sep 16, 2023
2aa7d5d
Address the outstanding review feedback.
hborla Sep 16, 2023
5d9300e
add @hborla to list of authors
alexandersandberg Sep 16, 2023
b7d6c50
Minor tweaks to Language and Standard Library
cthielen Sep 18, 2023
a7ec23f
Minor edits to the remaining sections
cthielen Sep 18, 2023
52a6395
Clarify macro composition refers to developers writing macros, not co…
cthielen Sep 18, 2023
ff49b01
Add example of a parameter pack call-site
cthielen Sep 18, 2023
4eb287a
Add macro examples
cthielen Sep 18, 2023
acd33bb
Update the download section
shahmishal Sep 18, 2023
e709a82
remove TODO
alexandersandberg Sep 18, 2023
210665e
Minor tweaks for readability
cthielen Sep 18, 2023
a9e7450
Add a note about which platforms support macros.
hborla Sep 18, 2023
ad1dbda
Update post date and time
cthielen Sep 18, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
263 changes: 263 additions & 0 deletions _posts/2023-09-18-swift-5.9-released.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,263 @@
---
layout: post
published: true
date: 2023-09-18 11:00:00
title: Swift 5.9 Released
author: [alexandersandberg, hborla]
---

Swift 5.9 is now available! 🎉

This is a major new release that **adds an expressive macro system to the language** and introduces **support for integrating Swift into C++ codebases** through bidirectional interoperability.

It also introduces parameter packs, an improved expression evaluator while debugging, enhanced crash handling, Windows platform improvements, and more.

Read on for a deep dive into changes to the language, standard library, tooling, platform support, and next steps for getting started with Swift 5.9.

Thank you to everyone in the Swift community who made this release possible. Your Swift Forums discussions, bug reports, pull requests, educational content, and other contributions are always appreciated!

## Language and Standard Library

Swift's fundamental goal is to encourage code that is clear and concise, while remaining safe and efficient.

This release adds three long-desired features that further that goal: a new macro system for more expressive libraries, parameter packs to make overloaded APIs natural to use, and new ownership features to offer more control over performance in low-level code.

### Macros

[Macros](https://github.com/apple/swift-evolution/blob/main/visions/macros.md) help developers reduce repetitive boilerplate and create more expressive libraries that can be distributed as a Swift package.

Using a macro is easy and natural. Macros can either be expanded with a function-like freestanding `#macroName` syntax:

```swift
let _: Font = #fontLiteral(name: "SF Mono", size: 14, weight: .regular)
```

or attached to declarations with an `@MacroName` attribute:

```swift
// Move storage from the stored properties into a dictionary,
// turning the stored properties into computed properties.
@DictionaryStorage
struct Point {
var x: Int = 1
var y: Int = 2
}
```

They work just like built-in language features but can’t be mistaken for normal code.

You write macros using a powerful and flexible approach: they are simply Swift functions that use the [SwiftSyntax](https://github.com/apple/swift-syntax) library to generate code to be inserted into the source file.

Macros make it easy for your library’s users to adopt powerful capabilities that adapt to the code they’re used in, like [the new `Observation` module](https://github.com/apple/swift-evolution/blob/main/proposals/0395-observability.md), which allows Swift classes to automatically notify other code when their properties change.

The Swift community has been hard at work creating tools and frameworks that build upon macros. For some examples, take a look at [swift-power-assert](https://github.com/kishikawakatsumi/swift-power-assert), [swift-spyable](https://github.com/Matejkob/swift-spyable), [swift-macro-testing](https://github.com/pointfreeco/swift-macro-testing), and [MetaCodable](https://github.com/SwiftyLab/MetaCodable).

Swift 5.9 supports macros on macOS and Linux, with Windows support coming soon.

### Parameter packs

[Parameter packs](https://github.com/apple/swift-evolution/blob/main/proposals/0393-parameter-packs.md) let you write generic types and functions which work over an arbitrary number of types.

For example, without parameter packs, if you wanted to write a function called `all` to check whether any number of `Optional` values are `nil`, you would need to write a separate overload for each argument length you wanted to support, creating an arbitrary upper limit:

```swift
func all<W1>(_ optional: W1?) -> W1?
func all<W1, W2>(_ optional1: W1?, optional2: W2?) -> (W1, W2)?
func all<W1, W2, W3>(_ optional1: W1?, optional2: W2?, optional3: W3?) -> (W1, W2, W2)?
```

With parameter packs, you can express this API as a single function that has no upper limit, allowing you to pass any number of arguments:

```swift
func all<each Wrapped>(_ optional: repeat (each Wrapped)?) -> (repeat each Wrapped)?
```

Calling an API that uses parameter packs is intuitive and requires no extra work:

```swift
let (int, double, string, bool) = all(optionalInt, optionalDouble, optionalString, optionalBool) {
print(int, double, string, bool)
}
else {
print("got a nil")
}
```

### Ownership

Ownership features can help developers fine-tune memory management behavior in performance-critical code.

The new [`consume` operator](https://github.com/apple/swift-evolution/blob/main/proposals/0366-move-function.md) tells Swift to deinitialize a variable and transfer its contents without copying it. The [`consuming` and `borrowing` parameter modifiers](https://github.com/apple/swift-evolution/blob/main/proposals/0377-parameter-ownership-modifiers.md) provide hints that Swift can use to eliminate unnecessary copying and reference-counting operations when passing a parameter. Finally, [noncopyable structs and enums](https://github.com/apple/swift-evolution/blob/main/proposals/0390-noncopyable-structs-and-enums.md) allow you to create types which, like a class, can’t be meaningfully copied when assigned, but like a struct or enum, do not need to be reference-counted because only one storage location can own the instance at a time.

These major features are the foundation for further evolution that puts more expressive power and performance control into your hands. We're excited about what you can do with Swift 5.9, and we're working toward a future with a larger suite of variadic generics and ownership features.

### Additional Features

Swift 5.9 also includes smaller, quality-of-life changes to the language, like the ability to use [`if` and `switch` as expressions](https://github.com/apple/swift-evolution/blob/main/proposals/0380-if-switch-expressions.md) for variable assignment and return values:

```swift
statusBar.text = if !hasConnection { "Disconnected" }
else if let error = lastError { error.localizedDescription }
else { "Ready" }
```

A [new `package` access level](https://github.com/apple/swift-evolution/blob/main/proposals/0386-package-access-modifier.md) lets other modules in the same package access APIs, but hides them from code outside the package. It’s great for splitting up large modules into several smaller ones without exposing internals to the package’s clients.

Developers using Swift Concurrency may appreciate the [more convenient `DiscardingTaskGroup` types](https://github.com/apple/swift-evolution/blob/main/proposals/0381-task-group-discard-results.md) for task groups that don’t generate results and the advanced [custom actor executors](https://github.com/apple/swift-evolution/blob/main/proposals/0392-custom-actor-executors.md) feature for controlling the exact environment that an actor is run in.

A full list of Swift 5.9 Evolution proposals can be found at the end of this post.

## Developer Experience

### Crash Handling

On Linux, the Swift runtime will now catch program crashes and Swift runtime errors and display a backtrace on the program’s output. The backtracer is out-of-process and includes support for `async` functions.

This feature is also available on macOS but is disabled by default. To enable it, set `SWIFT_BACKTRACE=enable=yes` and sign your program with the `com.apple.security.get-task-allow` entitlement.

### Debugging

Swift 5.9 introduces new features to [LLDB](https://lldb.llvm.org/) and the Swift compiler aimed at making Swift debugging faster and more reliable.

The `p` and `po` commands now print local variables and properties as fast as the `frame variable` or `v` commands by bypassing the Swift compiler when evaluating simple expressions.

Swift expressions can now refer to generic type parameters. This allows setting a conditional breakpoint in a generic function that only triggers when a type parameter is instantiated with a specific concrete type.

The debug info produced by the Swift compiler now more precisely scopes local variables, making it less likely to display variables backed by uninitialized memory in the debugger.

## Ecosystem

### C++ Interoperability

Swift 5.9 supports bidirectional interoperability with C++ and Objective-C++ for certain kinds of APIs.

For example, if you have a C++ function like:

```cpp
// Clang module 'PromptResponder'
#pragma once
#include <vector>

std::vector<std::string> generatePromptResponse(std::string prompt);
```

you can call it directly from your Swift code:

```swift
import PromptResponder

let codeLines = generatePromptResponse("Write Swift code that prints hello world")
.map(String.init)
.filter { !$0.isEmpty }

for line in codeLines {
print(line)
}
```

C++ interoperability is actively evolving, with some aspects subject to change in future releases as the community gathers feedback from real world adoption in mixed Swift and C++ codebases.

For information on enabling C++ interoperability and the supported language subset, please refer to the [documentation](/documentation/cxx-interop/).

Special thanks to the [C++ Interoperability Workgroup](/cxx-interop-workgroup/) for their focus and dedication in supporting this feature.

### Swift Package Manager

The [Swift Package Manager](https://github.com/apple/swift-package-manager) has a number of improvements in Swift 5.9:

- Packages can use the new `package` access modifier, allowing access of symbols in another target / module within the same package without making them public. SwiftPM automatically sets the new compiler configuration to ensure this feature works out-of-the-box for packages.

- The `CompilerPluginSupport` module enables defining macro targets. Macro targets allow authoring and distributing custom Swift macros as APIs in a library.

- The new `.embedInCode` resource rule allows embedding the contents of a resource into an executable by generating a byte array.

- The `allowNetworkConnections(scope:reason:)` setting gives a command plugin permissions to access the network. Permissions can be scoped to Unix domain sockets as well as local or remote IP connections, with an option to limit by port. For non-interactive use cases, the `--allow-network-connections` command-line flag allows network connections for a particular scope.

- SwiftPM can now publish to a registry following the specification defined in [SE-0391](https://github.com/apple/swift-evolution/blob/main/proposals/0391-package-registry-publish.md), as well as support signed packages, which may be required by a registry. Trust-on-first-use (TOFU) validation checks can now use signing identities in addition to fingerprints, and are enforced for source archives as well as package manifests.

- SwiftPM now supports cross compilation based on [the Swift SDK bundle format](https://github.com/apple/swift-evolution/blob/main/proposals/0387-cross-compilation-destinations.md#swift-sdk-bundles). While the feature is still considered experimental, we invite users to try it out and provide feedback.

See the [Swift Package Manager changelog](https://github.com/apple/swift-package-manager/blob/main/CHANGELOG.md#swift-59) for the complete list of changes.

### Swift Syntax

[swift-syntax](https://github.com/apple/swift-syntax) is an essential tool for parsing Swift code and helps power the new macro system. This year, swift-syntax received a number of improvements:

- Syntax node names are more consistent and accurately reflect the Swift language.

- Error recovery in the new SwiftParser is greatly improved, leading to more precise error messages for incorrect or missing syntax.

- Incremental parsing is now supported, allowing editors and other tools to only reparse those parts of a syntax tree that have changed.

- The [documentation](https://swiftpackageindex.com/apple/swift-syntax) of swift-syntax has been greatly expanded.

Over the last year, swift-syntax has been a huge success as an open source project. Since the release of Swift 5.8, more than 30 distinct contributors have worked on the package, accounting for more than 30% of the commits. In addition, the community tool [swift-ast-explorer.com](https://swift-ast-explorer.com) is invaluable in exploring and understanding the SwiftSyntax tree. Thank you to everyone who contributed!

### Server

Custom actor executors and other features from Swift 5.9 are making their way into the Swift on server ecosystem.

The server workgroup also recently published their [annual update for 2023](/blog/sswg-update-2023/), detailing plans to increase adoption of concurrency within key libraries, as well as other efforts.

### Windows Platform

Windows support for Swift 5.9 greatly improves stability and the developer experience.

The Windows installer now supports installation both before and after Visual Studio installation, and no longer requires repair after a Visual Studio upgrade. Initial work has also begun to enable multiple, parallel toolchains installed side-by-side on Windows.

The Swift toolchain also added new flags (`-windows-sdk-root`, `-windows-sdk-version`, `-visualc-tools-root`, `-visualc-tools-version`) to help control the Windows SDK and Visual C++ tools that it builds against.

The Windows SDK (`WinSDK`) module saw improvements in coverage, enabling access to a wider set of system APIs. The Visual C++ (`vcruntime`) module was greatly restructured to support C++ interoperability.

Structured Concurrency is now significantly more stable on Windows, eliminating stack overflows and other execution failures for common patterns such as iterating over an `AsyncStream` with many elements.

Improvements to path handling in the LSP and SPM makes both of these tools more robust on Windows. LLDB also saw initial work towards improving support for Windows, enabling fundamental debugging workflows in LLDB on Windows. While still a work in progress, this will significantly improve the developer experience on Windows.

Small improvements have also been made to reduce the size of the toolchain on Windows.

## Next Steps

### Downloads

Official binaries are [available for download](https://swift.org/download/) from [Swift.org](http://swift.org/) for macOS, Windows, and Linux. The Swift 5.9 compiler is also included in [Xcode 15](https://apps.apple.com/app/xcode/id497799835).

### Website

Swift.org has revamped certain key pages, including [a richer home page](/) and clearer [download and install instructions](/install/).

If you're new to Swift or looking to dive deeper, check out the updated [Getting Started guides](/getting-started/).

### Language Guide

[The Swift Programming Language](https://docs.swift.org/swift-book/documentation/the-swift-programming-language/) book has been updated for Swift 5.9 and is now published with DocC.

This is the official Swift guide and a great entry point for learning Swift.

The Swift community also maintains a number of [translations](/documentation/#translations).

## Swift Evolution Appendix

The following language, standard library, and Swift Package Manager proposals were accepted through the [Swift Evolution](https://github.com/apple/swift-evolution) process and [implemented in Swift 5.9](https://apple.github.io/swift-evolution/#?version=5.9).

- SE-0366: [`consume` operator to end the lifetime of a variable binding](https://github.com/apple/swift-evolution/blob/main/proposals/0366-move-function.md)
- SE-0374: [Add sleep(for:) to Clock](https://github.com/apple/swift-evolution/blob/main/proposals/0374-clock-sleep-for.md)
- SE-0377: [`borrowing` and `consuming` parameter ownership modifiers](https://github.com/apple/swift-evolution/blob/main/proposals/0377-parameter-ownership-modifiers.md)
- SE-0380: [`if` and `switch` expressions](https://github.com/apple/swift-evolution/blob/main/proposals/0380-if-switch-expressions.md)
- SE-0381: [DiscardingTaskGroups](https://github.com/apple/swift-evolution/blob/main/proposals/0381-task-group-discard-results.md)
- SE-0382: [Expression Macros](https://github.com/apple/swift-evolution/blob/main/proposals/0382-expression-macros.md)
- SE-0384: [Importing Forward Declared Objective-C Interfaces and Protocols](https://github.com/apple/swift-evolution/blob/main/proposals/0384-importing-forward-declared-objc-interfaces-and-protocols.md)
- SE-0386: [New access modifier: `package`](https://github.com/apple/swift-evolution/blob/main/proposals/0386-package-access-modifier.md)
- SE-0388: [Convenience Async[Throwing]Stream.makeStream methods](https://github.com/apple/swift-evolution/blob/main/proposals/0388-async-stream-factory.md)
- SE-0389: [Attached Macros](https://github.com/apple/swift-evolution/blob/main/proposals/0389-attached-macros.md)
- SE-0390: [Noncopyable structs and enums](https://github.com/apple/swift-evolution/blob/main/proposals/0390-noncopyable-structs-and-enums.md)
- SE-0392: [Custom Actor Executors](https://github.com/apple/swift-evolution/blob/main/proposals/0392-custom-actor-executors.md)
- SE-0393: [Value and Type Parameter Packs](https://github.com/apple/swift-evolution/blob/main/proposals/0393-parameter-packs.md)
- SE-0394: [Package Manager Support for Custom Macros](https://github.com/apple/swift-evolution/blob/main/proposals/0394-swiftpm-expression-macros.md)
- SE-0395: [Observation](https://github.com/apple/swift-evolution/blob/main/proposals/0395-observability.md)
- SE-0396: [Conform `Never` to `Codable`](https://github.com/apple/swift-evolution/blob/main/proposals/0396-never-codable.md)
- SE-0397: [Freestanding Declaration Macros](https://github.com/apple/swift-evolution/blob/main/proposals/0397-freestanding-declaration-macros.md)
- SE-0398: [Allow Generic Types to Abstract Over Packs](https://github.com/apple/swift-evolution/blob/main/proposals/0398-variadic-types.md)
- SE-0399: [Tuple of value pack expansion](https://github.com/apple/swift-evolution/blob/main/proposals/0399-tuple-of-value-pack-expansion.md)
- SE-0400: [Init Accessors](https://github.com/apple/swift-evolution/blob/main/proposals/0400-init-accessors.md)
- SE-0401: [Remove Actor Isolation Inference caused by Property Wrappers](https://github.com/apple/swift-evolution/blob/main/proposals/0401-remove-property-wrapper-isolation.md)
- SE-0402: [Generalize `conformance` macros as `extension` macros](https://github.com/apple/swift-evolution/blob/main/proposals/0402-extension-macros.md)