Posted by Solidity Team on November 14, 2025

Solidity is a programming language for writing smart contracts on the Ethereum blockchain, offering tools and resources for building decentralized applications (DApps) and blockchain solutions. Developers can learn about smart contract development, Ethereum development tools, and decentralized finance (DeFi) to create secure and reliable blockchain applications using Solidity.

Solidity

The Solidity team announces Core Solidity, a complete rebuild of the language's type system and compiler frontend. The redesign introduces algebraic data types with pattern matching, generics, type classes, type inference, higher-order functions, and compile-time evaluation. Core Solidity removes inheritance and potentially reworks features like try/catch and libraries. The new architecture introduces SAIL (Solidity Algebraic Intermediate Language) as a minimal IR that enables library-based language development and formal verification. While maintaining ABI compatibility with Classic Solidity, the update aims to provide stronger type safety, better abstractions, and a foundation for community-driven language evolution.

Core Solidity Deep Dive

SAIL, Desugaring, and the Standard Library