Macros let you extend the language (but ML programmers aren't interested in untyped extensions) or embed DSLs (but ML programmers aren't likely to be too interested in untyped DSLs either).

In addition to an expressive macro system and a limited form of C++ interoperability, Swift 5.9, now officially available, also introduces parameter packs, ownership-based memory management, and more.