Andreas Rossberg

Name spacing conventions for custom section names?

2

We have no conventions for naming proprietary custom sections. Without some discipline, there obviously is the risk of name clashes or prominent engines/tools clobbering some common names (somewhat related: WebAssembly/branch-hinting#7)....

Typed continuations to model stacks

68

### Motivation Wasm currently lacks any support for _multiple stacks_ of execution and switching between them. That prevents it from efficiently representing most _control flow abstractions_ that appear in many...

Feature Idea: Generic data

11

## Generic data ### Motivation Candid cannot currently describe services or functions with a type-generic interface. That is a severe limitation that both we and users keep bumping into. For...

Add support for type dynamic

16

To represent generic data, as discussed on #245 ("Idea 1") on various occasions. A value of type `dynamic` is serialised as a nested self-contained Candid blob.

Add support for bound function arguments

5

This specs out the Candid side of the "closure" extension I suggested [here](https://github.com/dfinity/motoko/issues/2703#issuecomment-951773868). WDYT, does this work? Edit: see also #292, for a complementary extension with type `dynamic`.

Prevent space bombs

4

The Candid serialisation format has two singleton types whose encoding size is zero: `null` and `reserved`. That means that an array of arbitrary size over these types (or a super-type...

Update Soundness appendix

1

This extends the Soundness appendix to handle semantic types – now renamed to dynamic types. @conrad-watt, PTAL. One subtlety is that during reduction, we are actually dealing with a mixture...

Fix #1711.

[test] introduce script scopes around expensive memory tests

2

Fix #1698. This tweaks the generators for bulk memory/table tests to insert `(script ...)` scopes around tests and extends the JS converter to turn these into block scopes. This is...