Mainnet docs are version-pinned. Check each section's exact version in the sidebar; it can lag the newest upstream release.
Sway is a programming language designed for the FuelVM. It is a statically typed, compiled language with type inference and traits. Sway aims to make smart contract development safer and more efficient through the use of strong static analysis and compiler feedback.
Get started with the basics of Sway: