Mailman 3 April 2023 - Typing-sig

Opened and changed typing issues week 2023-W15
by Typing Bot 17 Apr '23

17 Apr '23

The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were updated last week: #548 Higher-Kinded TypeVars opened by @tek https://github.com/python/typing/issues/548 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22

1 0

Opened and changed typing issues week 2023-W14
by Typing Bot 10 Apr '23

10 Apr '23

The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were opened last week: #1383 Create PEP for Map with bind: match Tuple of parameterized types with parameters from TypeVarTuple opened by @jmsmdy https://github.com/python/typing/issues/1383 --------------------------------------------------- The following issues and pull requests were updated last week: #256 Possible to distinguish between Sequence[str]/Iterable[str] and str? opened by @jtatum https://github.com/python/typing/issues/256 #685 Record Types opened by @saulshanabrook https://github.com/python/typing/issues/685 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22

1 0

TypeVarDict for DataFrames and other TypedDict-like containers (also called "key types")
by Thomas Kehrenberg 08 Apr '23

08 Apr '23

Hi all, Nikita Sobolev recently proposed a nice inline syntax for TypedDict on this list: https://mail.python.org/archives/list/typing-sig@python.org/thread/HXRBE5BV… which will probably end up looking like this: dict[{"a": str, "b": bool}] And I think the problem of "key types" for Pandas `DataFrames` and other TypedDict-like containers can be solved the same way! Without any grammar changes! I would propose to add a new TypeVar-like: `TypeVarDict`, which is a generalization of `TypeVarTuple` but also shares a lot of traits with `ParamSpec`. The basic usage would look like this: from typing import Generic, TypeVarDict, Unpack TD = TypeVarDict("TD") class MyMapping(Generic[TD]): # kwargs-typing follows PEP 692: def __init__(self, **kwargs: Unpack[TD]): self.vals = kwargs # `TD.key` and `TD.value` is main idea def __getitem__(self, index: TD.key) -> TD.value: return self.vals[index] # this is what a concrete TypeVarDict looks like: m: MyMapping[{"a": str, "b": bool}] m = MyMapping(a="foo", b=False) reveal_type(m["a"]) # str reveal_type(m["b"]) # bool m["c"] # type error! The above example is of course a bit silly because we already have TypedDict for that, but it would be very useful for Pandas `DataFrame`s and similar containers. For the complete proposal, see https://github.com/python/typing/discussions/1387 (I didn't paste the whole text here, because I think it's easier to read it on GitHub where there is syntax highlighting.) Let me know what you think! Best, Thomas

2 1

Opened and changed typing issues week 2023-W13
by Typing Bot 03 Apr '23

03 Apr '23

The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were updated last week: #688 advanced SimpleNamespace typing opened by @itajaja https://github.com/python/typing/issues/688 #1372 Add PartialApplication opened by @NeilGirdhar https://github.com/python/typing/issues/1372 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22

1 0