types

In the CompilerOptions-interface, the option noImplicitOverride is missing:
https://github.com/sindresorhus/type-fest/blob/6b8bee7d0df2bfce9cab4ae59bb6b14f81d7a633/source/tsconfig-json.d.ts#L159-L769

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

# typed: true
"".sleep(1)
"".puts

Observed output

No errors! Great job.

Expected behavior

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

These operations related to bytes values are either common or "fundamental" and worth dedicated primitives if they help with performance:

• + (concatenation)
• len(b)
• b[n] (indexing)
• ==, !=
• <, <=, etc.
• b[:n] etc. (slicing)
• s.encode(<literal>) (for utf8, ascii and latin1)
• s.encode(x) (for an arbitrary encoding)
• `

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