> GC and Exception handling This was not necessary.. what a mistake, specially EH..
Not including GC would have been a mistake. Having to carry a complete garbage collector with every program, especially on platforms like browsers were excellent ones already exist, would have been a waste.
WASM 3.0 Completed
11–20 of 520 posts
Re: WASM 3.0 Completed
#12Re: WASM 3.0 Completed
#13Re: WASM 3.0 Completed
#14> GC and Exception handling This was not necessary.. what a mistake, specially EH..
Re: WASM 3.0 Completed
#15> GC and Exception handling This was not necessary.. what a mistake, specially EH..
Re: WASM 3.0 Completed
#16> GC and Exception handling This was not necessary.. what a mistake, specially EH..
Not including GC would have been a mistake. Having to carry a complete garbage collector with every program, especially on platforms like browsers were excellent ones already exist, would have been a waste.
Re: WASM 3.0 Completed
#17Earlier quoted context omitted.
Not including GC would have been a mistake. Having to carry a complete garbage collector with every program, especially on platforms like browsers were excellent ones already exist, would have been a waste.
how is that different from compiling against a traditional CPU which also doesn't have a built in GC? i mean those programs that need a GC already have one. so what is the benefit of including one on the "CPU"?
Re: WASM 3.0 Completed
#18Re: WASM 3.0 Completed
#19There's comments in there about waiting for a polyfill, but GC support is widespread enough that they should probably just drop support for non-GC runtimes in a major version.
Re: WASM 3.0 Completed
#20Does anyone know whether the exception handling implementation supports restartable exceptions like Common Lisp's and Scheme's?
The whole magic about CL's condition system is to keep on executing code in the context of a given condition instead of immediately unwinding the stack, and this can be done if you control code generation.
Everything else necessary, including dynamic variables, can be implemented on top of a sane enough language with dynamic memory management - see https://github.com/phoe/cafe-latte for a whole condition system implemented in Java. You could probably reimplement a lot of this in WASM, which now has a unwind-to-this-location primitive.
Also see https://raw.githubusercontent.com/phoe-trash/meetings/master... for an earlier presentation of mine on the topic. "We need means of unwinding and «finally» blocks" is the key here.