Skip to content

Instantly share code, notes, and snippets.

@hoosnick

hoosnick/code.py

Created August 20, 2025 18:30
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save hoosnick/52b8e6b3af12d379242ee75f49ad993d to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save hoosnick/52b8e6b3af12d379242ee75f49ad993d to your computer and use it in GitHub Desktop.
Download ZIP
Code from Telegraph article
Raw
code.py
from typing import Final
ADMIN_IDS: Final[list[int]] = [101, 202, 303]
# list ичидаги маълумотни ўзгартириш
ADMIN_IDS.append(404) # <-- MyPy'ни бунга эътирози йўқ!
print(ADMIN_IDS) # Натижа: [101, 202, 303, 404]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment