Experimental Solidity
summary
Plan to replace much built-in compiler behavior with a lean core language plus a Solidity-written standard library, implemented by adding generics via a Hindley–Milner–style type system with simple type classes and a primitive word type. Inline assembly becomes the low-level backbone and library features are monomorphized into u256/word code. Prototype branch exists now; 2024 extends to reference types and library work; 2025 aims for stabilized library proposals and optional syntax sugar. postfix types are targeted as a visible syntax change.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 0:36Current limitations
- 2:58Two potential paths
- 4:32Experimental solidity
- 5:31Proposed design goals
- 9:04Impact on development
- 11:10Syntax and type systems
- 14:15Implementation mechanics
- 16:46Extensibility through logic
- 20:02Timeline and roadmap
- 23:02Community-driven development
- 26:26Q&A session
related talks
38mIntroducing Core Solidity
37mSolidity in 2022: Recent and Planned Features
12mPlank: The New Best Way to Develop Smart Contracts
15mFrom Classic to Core Solidity
15mWhat would Solidity look like if it was built today?
25msolx: an LLVM-based Solidity toolchain
34mGo Inline Assembler: Dream or Reality
41mBattle of the Languages