Is it possible to, in Rust, implement an interpreter for a language that does not follow Rust's reference semantics?

As one data point, this is exactly what WebAssembly does.

Once you peel away the layers of abstraction, linear memory is just a Vec<u8> and pointers are just indices into this vector. There are even instructions like core::arch::wasm32::memory_grow() that let you tell the host application to increase this Vec<u8>'s size when you want more memory (i.e. Vec::reserve()), which wouldn't be possible if pointers inside WebAssembly code were "real" pointers.

So @bread-dreams, I guess if it's good enough for WebAssembly it should be good enough for you, too :man_shrugging:

2 Likes

Even "real" pointers work similarly under most operating systems: Each process has a private address space and the virtual memory system is responsible for translating these private addresses to physical memory locations, which can be moved around at any time by the OS. The brk syscall extends this private address space, the same as WASM's memory_grow.

5 Likes

Yep, it's turtles all the way down.

4 Likes

What prevents you from doing with(|slab| evaluate(parse(line), slab))?

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.