It's interesting thinking about the push and pull of academia obsessed with (functional) purity and the greasy guts of optimizing for a CPU's inner workings and systemic pipeline with cache lines, branch prediction and mechanical sympathy. Dimitri's project implements a WebAssembly runtime, so it is already ten feet off the ground if you ask some people, but in a way the two ends almost meet here.
