Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created May 27, 2025 01:14
Show Gist options
  • Save mypy-play/48be8a6e1e869507d0495f668ee37287 to your computer and use it in GitHub Desktop.
Save mypy-play/48be8a6e1e869507d0495f668ee37287 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
records:list[dict[str,int]] = [
{"amount": 10},
{"amount": "ERROR"},
{"amount": 25}
]
total = sum([rec["amount"] for rec in records])
print("Total =", total)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment