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

Python 3.7 added str.isascii to the standard library, but pytype doesn't seem to know about it yet.

For example, checking the following code:

def main():                                                                                                                                                                  
    r

Input

→ View on sorbet.run

# typed: true

module M
  def self.private(foo); end
end

class A
  def foo; end
  M.private :foo
end

A.new.foo

Observed output

Currently pgTyped CLI package is using minimist for CLI flag parsing. By design minimist is rather minimal and doesnt provide any advanced features.

To improve the current CLI experience we should switch to yargs.

Things we will get out of the box with yargs:

• Help command
• Env variable support
• Flag value validation
• Documented default values

(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