My goal is to have the best documentation for each provided type.

If something is unclear in any of the types, please comment or open a PR to improve it.

Some things you could contribute:

• Fix typos.
• Improved description of the type.
• More examples.
• Provide more real-world use-cases. This helps the user understand where a type might come in handy.
• Add links to relevant discu

Elm has the option to output errors as JSON (via a flag), and something like that is handy for writing tooling around it. I'm trying to integrate pytype into ALE and this would make it a lot easier.

Problem

Sorbet in LSP mode exits early for a handful of reasons. Here are some:

https://github.com/sorbet/sorbet/blob/75d798fc5cab54c595c321593d6fa95c0b1bf0a5/main/lsp/LSPConfiguration.cc#L20-L21

https://github.com/sorbet/sorbet/blob/75d798fc5cab54c595c321593d6fa95c0b1bf0a5/main/lsp/watchman/WatchmanProcess.cc#L95-L99

https://github.com/sorbet/sorbet/blob/75d798fc5cab54c595c32159

(exp (log (make-polar 1.7976931348623153e+308 -1.797693134862315e+308)))

produces -8.648665413126592e+306-1.7956115019091953e+308i in Racket but -inf.0-inf.0i after Typed Racket optimization. Optimized code is:

(let-values (((g3)                                        
                    (#%app                                      
                     log