LuaJIT 3.0 Proposed Syntax Extensions

LuaJIT 3.0 Proposes Modern Syntax Extensions

LuaJIT 3.0 is proposing a series of syntax extensions designed to align the language more closely with customary programming patterns found in other modern languages. These changes aim to reduce friction for developers transitioning from other languages and provide more concise ways to express common operations.

Proposed Syntax Changes

C-Style Logical and Ternary Operators

LuaJIT 3.0 proposes introducing customary syntax for classic Lua operators. This includes replacing or supplementing the word-based and and or with symbols like && and ||. Additionally, a ternary operator (? :) is being considered to provide a more concise alternative to the standard Lua conditional expression.

Compound Assignment Operators

The proposal includes the addition of compound assignment operators (e.g., +=, -=, *=, /=). These operators allow for more concise variable updates, a feature already present in other Lua-like implementations such as the version of Lua used by the Playdate handheld console.

Bitwise Operator Alignment

While Lua 5.3 introduced bitwise operators in 2015, LuaJIT is moving toward incorporating similar functionality to catch up with the standard Lua evolution, though it maintains its own trajectory as a JIT-compiled implementation.

Community Perspectives and Technical Debate

The proposed changes have sparked a debate within the developer community regarding the balance between language identity and developer convenience.

Concerns Over Language Identity

Some developers argue that introducing C-style syntax is superficial and may dilute the unique identity of Lua. Critics suggest that providing multiple ways to perform the same action (TIMTOWTDI - "There Is More Than One Way To Do It") increases complexity without solving fundamental language problems.

"What does changing and to && actually achieve? ... It's not actually fixing any problems, just making Lua no longer look like Lua."

Alternatives to the Ternary Operator

There is a preference among some contributors for the if x then y else z expression style, as seen in Luau (a derivative of Lua). Proponents argue that this approach is easier to read and nest, particularly when elseif is required, compared to the x ? y : z syntax.

The Ecosystem of "Lua-alikes"

Observers note that Lua's lack of strict compatibility between major versions has fostered a diverse ecosystem of "lua-alikes." Because the language is simple to implement, various projects have created specialized versions of Lua with their own syntax extensions, prioritizing specific use cases over a unified library ecosystem.

Impact on Implementations

These syntax changes introduce new challenges for those building alternative implementations of the language. For example, developers working on Rust-based Lua implementations that aim to support multiple versions (such as Lua 5.1 through 5.5) find that divergent syntax extensions in LuaJIT make cross-version compatibility more difficult to achieve.