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

PEP: https://www.python.org/dev/peps/pep-0593/
This looks like it entails adding an Annotated type that returns its first parameter and throws away the second.

This would be a good first issue for someone interested in learning how to support new typing features in pytype, since it requires going through all the steps described here f

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