Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created May 8, 2024 22:20
Show Gist options
  • Save mypy-play/86ce0a15d9813938910b266a706f52fa to your computer and use it in GitHub Desktop.
Save mypy-play/86ce0a15d9813938910b266a706f52fa to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from typing import NamedTuple
class Record(NamedTuple):
id: int
name: str
age: int
reveal_type(Record.name) # str
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment