component-model
component-model copied to clipboard
Repository for design and specification of the Component Model
Hi -- I'm trying to create a resource in a component that can be constructed from values of different types. I could use a variant as an argument, but it...
A kebab name in the current spec is made up of one or more "fragments" separated by a hyphen (`-`). These fragments can't begin with a number. However, there are...
The output of a function can be: 1. Any type in the component model 2. Nothing at all 3. Multiple named components Note that (2) and (3) are not valid...
(Filing this for consideration later in a polish phase before 1.0; I don't expect this is a high priority until then since it's additive and I haven't heard anyone asking...
I want to define a json structure to provide serialization and deserialization capabilities, but I encountered two problems. 1. No mapping of dictionary type 2. Unable to define recursive types...
## Motivation ### Runtime Reinterpretation Many languages have the ability to reinterpret a piece of data at runtime, and this ability can be constrained by the type system. For example,...
Reorganize the "Canonical Built-ins" section of Explainer.md. - Don't quote the `canon` ebpf here, as it doesn't have a lot of explanatory information. - Put builtins in their own subsections....
This PR builds on #363 to add `future` and `stream` type constructors along with the associated canon built-ins (`{stream,future}.new`, `{stream,future}.{read,write}`, `{stream,future}.cancel-{read,write}`). It also generalizes the "`async_subtasks`" table to also hold...
Currently, this `world` is valid: ```wit interface a { resource r; } interface b { use a.{r}; foo: func() -> r; } world w { import b; } ``` and...
At the BA summit this past weekend I discussed with a few folks about what it might look like to implement `dlopen` from C in the component model. What follows...