types

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.

Input

→ View on sorbet.run

# typed: false

class A
  def foo; end
end

A.new.foo
#     ^ def: "No definition found for 'foo'"

Observed output

No errors! Great job.

With #235 I've noticed that InstanceOf is undocumented in the readme.

I'd like to add a config and the ability to have a .js config file in order to generate nestjs repositories and files that just have types. The easiest way to do this, and without introducing much additional maintenance would be to let folks supply their own generator templates.

Splitting the types to a different library might be a little tricky to add in a config, so at first it might not b

References to typing.TYPE_CHECKING are evaluated at runtime, even though they should be treated as compile-time constants. This can have a significant performance impact within hot functions.

Example:

from typing import TYPE_CHECKING  # Or from typing_extensions import ...

if TYPE_CHECKING:  # This should compile to nothing
    whatever

Debugging Kotlin∇ code within IntelliJ IDEA can be somewhat cumbersome due to the functional API structure (lots of deeply-nested stack traces and context switching). To facilitate more user-friendly debugging, we should add support for visual debugging by exposing Kaliningraph’s built-in graph visualization capabilities. For example, the use

(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              

You can never have enough tests - some parts of the tests are not great, it would be very nice to have more tests / better tests etc. Also it would be very good to find more bugs.

This ticket is meant to stay open - anyone can add PRs that point to it. Its also a place to aggregate discussions regarding the test suite.

It is common to have Union traits of the form Union(None, <something>). As a convenience to developers, and following a similar convention in Python's typing module, we should consider having Optional(<something>) as an alternative way of writing Union(None, <something>).

An alternative would be to make allow_none metadata universally accepted across TraitType instances.