🛤 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 WebAssembly/design#936, WebAssembly/design#189, WebAssembly/design#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