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

e.g.

# map.py
def func(a: int) -> float:
    return float(a)

map(func, ['str'])

$ pytype map.py
Computing dependencies
Analyzing 1 sources with 0 local dependencies
ninja: Entering directory `/[redacted]/.pytype'
ninja: no work to do.
Success: no errors found

while

$ mypy map.py
map.py:5: error: Argument 1 to "map" has incompatible type "Ca

Input

[→ View on sorbet.run](https://sorbet.run/#%23%20typed%3A%20strict%0Aextend%20T%3A%3ASig%0A%0Aclass%20MyEnum%20%3C%20T%3A%3AEnum%0A%20%20enums%20do%0A%20%20%20%20X%20%3D%20new%0A%20%20%20%20Y%20%3D%20new%0A%20%20end%0Aend%0A%0Asig%20%7Bparams(x%3A%20MyEnum).returns(Integer)%7D%0Adef%20example(x)%0A%20%20res%20%3D%20case%20x%0A%20%20when%20MyEnum%3A%3AX%20then%201%0A%20%20when%20MyEnu

pelotom/runtypes#39 (comment)

const Foo = Union(
  // ...
).named('Foo');

We may need an API like this in order to get better error messages.

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

It can return -1 on error, but we don't handle it properly at all call sites.

(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