((()))(((())))=5

((()))(((())))=5 is a string rewriting esoteric programming language created by User:Dragoneater67 in 2026. The only valid characters are ( and ). The language was inspired by User:A()/How Big Can We Go? and Lambda calculus.

Syntax

The parser takes the leftmost top-level pair (A)(B) , then replaces every empty parenthesis () in B with A, then the entire pair is replaced with B. This reduction is continued until no reduction is possible (e.g. a normal form has been reached).
For example:

((()))(((())))

A = (())
B = ((()))
Every () is replaced with (()):
B = (((())))
Result:

(((())))

Examples

Calculate 1 + 1

(())((()))

XKCD Random number

(((())))

Infinite loop

((())(()))((())(()))

See Also

• Lambda calculus