🛤 Tail call

[binji]

This is a tracking issue for a post-MVP feature It will be updated as the issue progresses.

Topic Tail call Champion Andreas Rossberg @rossberg Status in progress Phase Feature proposal Linked issues https://github.com/WebAssembly/design/issues/936, https://github.com/WebAssembly/design/issues/189, https://github.com/WebAssembly/design/issues/484, Linked repositories github.com/WebAssembly/tail-call

Details

• Currently, the Wasm design explicitly forbids tail call optimisations

• Want support to enable

  • the correct and efficient implementations of languages that require tail call elimination
  • the compilation of control constructs that can be implemented with it (e.g., forms of coroutines, continuations)
  • compilation and optimization techniques that require it (e.g., dynamic recompilation, tracing, CPS)
  • other sorts of computation being expressed as Wasm functions, e.g., FSMs