Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

馃洡 Tail call #17

Open
binji opened this Issue Oct 16, 2018 · 0 comments

Comments

Projects
None yet
3 participants
@binji
Copy link
Member

binji commented Oct 16, 2018

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
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
You can鈥檛 perform that action at this time.