Jack Williams

Results 76 comments of Jack Williams

> However, x can not be assigned a type of string, e.g. the following throws an error: This is correct behaviour. You don't know if `Math.random() < 0.5` will return...

QQ regarding schema-on-write. Schema here includes the ability to to specify the multiplicity of a trait, such as containing at most 0 or 1 items? What happens if two clients...

For the sake of uniformity (which I agree with the above is worth perusing given that schema can be used to project out as primitives) is it worth introducing annotations...

> ```ts > declare let foo: (...args: never[]) => void; > foo = (x: string) => {}; > ``` > > makes sense, fundementally, because `[string]` is assignable to `never[]`...

@mhegazy In the second example: is the reason that `T & number` should be assignable to `T extends number ? number : string` ~~because the bound of the conditional is...

Sorry I misunderstood. I thought that _'behaving as `T extends number ? T : never`'_ only referred to the top case when `T extends number`, and that perhaps there was...

```ts type ErrorStatus = (('not_found' | 'failed' | 'parse_error') & tag "suggestions") | string; ```

Thanks for the feedback. Monaco does provide hooks for range based formatting, but those hooks need to be implemented by the application. Today, the AFE code formatter only works of...

> Import modules from an external file (filesystem I'm looking into adding file upload

Thank you for the report. A couple of follow-up questions: - Is this on web or desktop? - It is *opening* the taskpane that is slow (rather than adding a...