br><code>akkerman_k     635 ns/iter (+/- 73)
akkerman_rust  8,968 ns/iter (+/- 322)
</code><p>The key challenge here was that O-CPS implementation was made in Rust's
flavour of linear types. Thus lambda interpreter as an internal
language of cartesian closed category was written in a language with
linear types and lifetimes as an internal language of symmetric
monoidal categories. Such an exercise will definitely increase
your confidence in linear types.
</p><h2 id="vec">Built-in Vectorization by Rust</h2><