Kevin Gibbons
Kevin Gibbons
That's technically true, but I don't think clarity would actually be improved by changing the wording here. I don't think there's much value in encouraging thinking of the Object type...
Do you have links to the Python code for those? It's usually fairly straightforward to port from Python.
Getting good types for those is going to be tricky. It looks like the design in Python is what you might call the builder pattern: you create the builder (`List...
Actually, Gemini 2.5 appears to have one-shot this, which is kind of astonishing. prompt I have some very complicated TypeScript types I want you to write. The basic usage looks...
Looking into this a bit more, the [docs](https://microsoft.github.io/z3guide/docs/theories/Datatypes/#mutually-recursive-datatypes) have this example: ``` ; declare a mutually recursive parametric datatype (declare-datatypes (T) ((Tree leaf (node (value T) (children TreeList))) (TreeList nil...
Sounds good to the editors. I would replace 10.4 with a section which lists and links to all of the places where exotics are defined in the spec, and mention...
If I'm understanding your suggestion correctly this is basically what I proposed [here](https://github.com/tc39/proposal-decorator-metadata/issues/5). I suggest going through the discussion there, but the outcome was that this suggestion was rejected in...
> This suggests a more general meaning for virtualization: For a particular _host_ system, a virtualization of that system partitions the system into multiple virtual _guest_ systems, providing an illusion...
LGTM. Re the use cases in the gist, I like the examples of using DisposableStack + AbortController (though [I'm hoping](https://github.com/whatwg/html/issues/8557#issuecomment-1331448189) we someday get a disposable AbortController). I think the those...