René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Support `Any` as an alias for `object` to describe a default typeclass implementation","articleBody":"**Context.** In order to define a default implementation (the one used if no other implementation matches), we currently have to write something like this:\r\n\r\n```python\r\nfrom classes import typeclass\r\n\r\n@typeclass\r\ndef render(data_value) -\u003e str:\r\n    \"\"\"Render a data value nicely.\"\"\"\r\n\r\n@render.instance(int)\r\ndef _render_int(data_value: int) -\u003e str:\r\n    return f'This is an integer: {data_value}'\r\n\r\n\r\n@render.instance(object)\r\ndef _render_int(data_value: object) -\u003e str:\r\n    return f'No idea what this is: {data_value}'\r\n\r\n\r\nassert render('BADOOM') == 'No idea what this is: BADOOM'\r\n```\r\n*(this script should be runnable as-is.)*\r\n\r\n**Decision.** Support `Any` as a special case to replace `object`:\r\n\r\n```python\r\n@render.instance(Any)\r\ndef _render_int(data_value: Any) -\u003e str:    # type: ignore\r\n    return f'No idea what this is: {data_value}'\r\n```\r\n\r\n**Consequences.**\r\n* Pro: The code will look a little bit more straightforward;\r\n* Contra: `mypy` with common settings might be unhappy about `Any` being used, but that can be silenced with `type: ignore` I suppose.","author":{"url":"https://github.com/anatoly-scherbakov","@type":"Person","name":"anatoly-scherbakov"},"datePublished":"2021-09-13T13:03:39.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/307/classes/issues/307"}