Dan Rose

Looked at some document generators aside from DocLog: - `pldoc` - from SWI, documentation in comments, emits to HTML or LaTeX: https://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/pldoc.html%27) - `lgtdoc` - from Logtalk, documentation using `:-...

Yep, the various options are kinda a mess to choose from. I think it should be using `main` and `exports` as documented [here](https://nodejs.org/api/packages.html#nodejs-packagejson-field-definitions). By the “shape”, I mean that `fakeServer`...

not stale

> Implementation signatures can't be part of interfaces because interfaces don't have implementations. Whether you should have a permissive "catch all" signature as part of your interface or not really...

> @MartinJohns By distribution over unions I think he means that given the overloads... > > ```ts > declare function foo(v: 1): void; > declare function foo(v: 2): void; >...

> The combinatorial behavior I’m talking isn’t about the return types, but how much work has to be done to typecheck the call sites. Basically if there are multiple arguments,...

1. That's not a combinatorial explosion in checking difficulty - it's one case per overload signature. Yes, it would require you to *declare* combinatorially many cases, but if the function...

> > it's one case per overload signature > > It's not though - if all the overloads aren't there, it might be able to short-circuit once it finds a...

> The one caveat to "first" is that there's an initial pass that tries to discard assignments to any, so if you really need your interface to do a particular...

> Is this related to this issue by any chance: #1596? Certainly related. The accuracy and performance are two separate issues, though. And either could be resolved without the other.