INFRA Signal 407
Opus Lisp dialect unifies functions and macros into operatives and compiles to WebAssembly
Opus is a statically-scoped Lisp dialect implemented in Haskell that compiles to WebAssembly and unifies functions and macros into a single primitive called the operative.
By treating environments as first-class executable values and eliminating hardcoded special forms, Opus shifts features like hygienic modules and sandboxing from the interpreter to user-land code. This allows engineers to create mathematically safe, read-only sandboxes simply by removing binding capabilities in a child environment.
Written by elseif from the cluster below · every claim links back to a sourceThe three things worth knowing
Opus unifies functions and macros into a single primitive called the operative, which receives unevaluated arguments and accesses the calling environment.
Environments are treated as first-class operatives that evaluate Abstract Syntax Trees, replacing the traditional eval function.
The language is implemented in Haskell using Continuation-Passing Style and compiles to WebAssembly.
THE CLUSTER