News for hackers. Stuff that matters.

A comment on I Wrote a WebAssembly VM in C. Parent comment

Re:I Wrote a WebAssembly VM in C by amw-zero on Monday February 03, 2025 @11:18AM (#42919763)
I think it's much better to just learn how to read inference rules. They're actually quite simple, and are used ubiquitously to define PL semantics definitions.

Constraining this on "that's not an option" is a big waste of time - learning this will open up all of the literature written on the subject.

[ Parent | on HN ]
Re:I Wrote a WebAssembly VM in C by shpongled on Monday February 03, 2025 @12:32PM (#42920640)
The WASM spec is so well defined presumably because Andreas Rossberg is the editor - and he did a bunch of PL research on extensions to Standard ML, which is famous for it's specification!
[ Parent | on HN ]
Re:I Wrote a WebAssembly VM in C by amw-zero on Tuesday February 04, 2025 @01:43PM (#42936748)
I totally agree. Standard ML set the stage for everyone to finally formally specify a full language, and only WebAssembly has carried the torch as far as I know (other than small research languages).
[ Parent | on HN ]