René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"sys.exit and SystemExit","articleBody":"`sys.exit()` is defined as:\r\n\r\nhttps://github.com/python/typeshed/blob/c68bcc7e69249956f358da7f47028d8fd1f7443e/stdlib/sys.pyi#L224-L225\r\n\r\nThe argument ends up in the `.code` attribute of a `SystemExit` exception.\r\n\r\n```python3\r\n\u003e\u003e\u003e import sys\r\n\u003e\u003e\u003e try: sys.exit()\r\n... except SystemExit as e: print(repr(e.code))\r\n... \r\nNone\r\n\u003e\u003e\u003e try: sys.exit(\"lol\")\r\n... except SystemExit as e: print(repr(e.code))\r\n... \r\n'lol'\r\n\u003e\u003e\u003e try: sys.exit({\"foo\": \"bar\"})\r\n... except SystemExit as e: print(repr(e.code))\r\n... \r\n{'foo': 'bar'}\r\n```\r\n\r\nBut that's typed as:\r\n\r\nhttps://github.com/python/typeshed/blob/c68bcc7e69249956f358da7f47028d8fd1f7443e/stdlib/builtins.pyi#L1793-L1794\r\n\r\nThese should be the same IMO, but what should they be? The interpreter handles uncaught `SystemExit` exceptions like this:\r\n- If the `code` is `None`, exit the process with status zero.\r\n- If the `code` is an integer, exit the process with that status.\r\n- Otherwise, print the `code` (to stderr) and exit the process with status `1`.\r\n\r\nI'd suggest using `str | int | None`, where we use `str` because we don't have any way to express \"anything reasonably printable\" without saying \"any object\". This way you can use each of the interpreter's behaviors as intended, and if you accidentally pass in e.g. `0.0`, the type checker will warn you instead of making you wonder why your process printed `0.0` and failed.","author":{"url":"https://github.com/Akuli","@type":"Person","name":"Akuli"},"datePublished":"2022-08-09T19:04:42.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/8513/typeshed/issues/8513"}