Thomas M Kehrenberg

Results 112 comments of Thomas M Kehrenberg

I think this is being discussed in #763

Maybe this isn't easily doable but wouldn't it be nicer if instead of ```toml [keys.normal] D = "@td" W = "@miw" ``` you could write ```toml [keys.normal] D = ["@find_next_char...

Do you still want to get this merged? I saw you marked it as draft.

Is [digraph](https://en.wikipedia.org/wiki/Digraph_(orthography)) the right name for this feature? I guess the name comes from using, for example, ctrl-K and "ae" to get the symbol æ, which is sort of a...

>I'd like Pylance but I'm not sure if it can be an extension. Pylance is just pyright with a few small added features. Here is a list of differences: https://github.com/microsoft/pylance-release/issues/3838#issuecomment-1387510630...

I see there was already a TODO for this https://github.com/facebook/pyre-check/blob/2da1844a4ae1861bf5b765a80feaf463a62d8831/source/analysis/test/integration/isinstanceTest.ml#L400-L407

The first line of the [Wikipedia article on bottom types](https://en.wikipedia.org/wiki/Bottom_type) says: > In type theory, a theory within mathematical logic, the bottom type of a type system is the type...

I agree that the fact that attributes can remain unassigned is an unrelated issue from this discussion. If you force the attribute to be assigned, then type checkers will complain...

> ```python > from typing import NoReturn > > class A: > def foo(self, x: int) -> int: ... > > class B(A): > def foo(self, x: int) -> NoReturn:...

> There isn't a way to specialize the `ParamSpec` with a signature that includes keyword arguments I've also often wished for a way to specify keyword arguments in a concrete...