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: true
extend T::Sig

sig {params(b

Similar to NonEmptyObject, NonEmptyArray can also be a useful type essential in typescript codebases, specifically when working with rest parameters.

Implementation:

type NonEmptyArray<T> = [T, ...T[]]

const okay: NonEmptyArray<number> = [1, 2];
const alsoOkay: NonEmptyArray<n

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

Starlette's ASGI types use MutableMapping[str, Any] which is not too different from just typing them dict. This package is fully spec compliant and would help in implementing additional ASGI functionality, as it would allow us to see exactly which keys are available/required to support a feature. There is currently a PR for Starlette that addres

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

What version of Racket are you using?

Racket 8.2.0.8

What program did you run?

(: hi (All (r #:row)
           (-> r r)))
(define (hi a)
  a)

What should have happened?

The type checker should reject the program, because a type variable for a polymorphic row type is in fact only allowed to appear in (Class #:row-var _) in Typed Racket.

If you got an erro

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.