For example, the instruction sequence (local.get $x) (i32.const 2) i32.add (i32.const 3) i32.mul can be folded into (i32.mul (i32.add (local.get $x) (i32.const 2)) (i32.const 3)) Folded instructions are solely syntactic sugar, no additional syntactic or type-based checking is implied.

Notices where this attachment appears

1. Embed this notice
   mcc (mcc@mastodon.social)'s status on Wednesday, 04-Jun-2025 12:47:58 JST mcc

   in reply to

   OK so

   I'm struggling with this week due to many issues that feel to me artificial. I don't like how this spec is written. I don't like a lot of the decisions

   Buuut *sigh*

   I guess I got the Good Idea out of the wasm spec I was hoping to find when I picked it. I was feeling like this S-expression form didn't "feel like" a LISP. And then I found this bit in the PDF spec. Using a syntax reordering trick to represent a Forth in LISP style. That's *saying this as if miserable* really smart actually