# Experimental Solidity quirks to deal with eventually ## Syntax issues - Documenting AST nodes with with `forall` quantifier without putting the NatSpec between the wrapped node. Currently the following is not recognized as the documentation for the function and applies just to the quantifier node: ```solidity /// @return Value Some value. forall (T) function foo() -> T {} ```
Last changed by  
 
solidity
88

Read more

Solidity Language Design Calls: Rolling Agenda

:::success Next design call 🗓️ When: Wednesdays, 3 PM CET/CEST 🖥️ Call location: https://meet.soliditylang.org/ ::: :::info How to add a topic: If you have a topic that want to discuss, simply add it bellow in our "Backlog of topics to discuss" with:

4/16/2025
The case for EOF (draft)

title: 'The case for EOF' date: '2025-03-27' author: Kamil Śliwak category: Explainers The EVM Object Format is a long awaited upgrade that modernizes the EVM and removes obstacles that have wide-ranging effects on the entire language, tooling and application ecosystem on Ethereum. Solidity is in full support of the proposal and in this post I would like to explain why. I will address the benefits it brings and the reasons why alternatives proposed so far fall short of achieving the same goals.

3/27/2025
Impact of EOF on Solidity, Yul and EVM assembly syntax

EOFCREATE address calculation changed EIPs: EIP-7620: EOF Contract Creation Add EIP: EOF - TXCREATE and InitcodeTransaction type #9299 Creation opcodes before EOF: CREATE(value, input_offset, input_size)

2/5/2025
Assorted Optimizer Ideas

Rule List Split the rule list into rules that act on a "normal form" and rules that bring optimized pieces in normal form to their most efficient representation. Rules on nomal form can be combined with their surroundings without complications. Finalization rules are ones that destroy that normal form. "Finalize" Rules (to be run after regular "normal form rules") mulmod- and addmod-introduction https://github.com/ethereum/solidity/issues/10687 sub re-introduction https://github.com/ethereum/solidity/issues/6765 specific or(and(...), and(...)) patterns to xor(...) https://github.com/ethereum/solidity/pull/14013

10/16/2024
Read more from solidity
Published on HackMD