typing VS Telethon

Iterable[str] is unfortunately evil as it matches str which is often unintended. (see: https://github.com/python/typing/issues/256) One would need both NOT-type and AND-type in order to properly handle these.

The basic motivation behind them is that functions can have arguments that can only take a specific set of values, and those functions return values/types change based on that input. Common examples are (you can find more here):

While yes 26 people liked the idea here: https://github.com/python/typing/issues/193

but looking at relevant issues on GitHub it seems this has been shot down repeatedly. python/typing#18, python/typing#213

See https://github.com/python/typing/issues/256 for a discussion.

Lower bounds are not supported for TypeVars, unfortunately.

Mypy allows that because initial versions of PEP-484 allowed that. This has changed; here's the current wording on the PEP:

> This is no longer the recommended behavior. Type checkers should move towards requiring the optional type to be made explicit.

https://www.python.org/dev/peps/pep-0484/#id29

Dunno, other, larger projects than the one I'm working on seem to run up against this from time to time. (rasa_core, to pick one example from near the top of a Google search; also Telethon, Blender, TensorFlow, Pandas. Guido also filed a bug on the typing module in an early version of Python 3.5 because of unexpected implications of this particular issue, so the problem isn't exactly purely theoretical.) That's aside from the wish for conceptual purity in the call signatures of classes and their subclasses, which is not always and automatically a bad wish to have; and the notion that a language that prides itself on its introspective faculties might want to make introspection of classes from the top of a class hierarchy possible, at least in theory? Perhaps to facility learning about the language and/or visualizing large class hierarchies easily, for instance?

1) telegram-upload is based on telethon lib which has default auth parameters. You need to fork and change device ID, name, language pack or else https://github.com/LonamiWebs/Telethon/issues/3194

Above is an example using telethon (https://github.com/LonamiWebs/Telethon), you can read the documentation for more details. also you can export the above message to some file instead of printing it, download media if the message is not a text but a media etc

Try Telethon https://github.com/LonamiWebs/Telethon/wiki/Retrieving-all-chat-members

I'm using Python3+ and working with the Telethon Library (https://docs.telethon.dev/)

Have tried to use both Telethon and Pyrogram but strangely enough I can't find any related API methods at all, there is no documentation and no code examples for such a simple task.

The issue can be found here: https://github.com/LonamiWebs/Telethon/issues/3264

Trio has a really nice aesthetic, although I personally found the concept of nurseries a bit weird at first.

However, I'd be interested to hear why one would use trio today instead of the more widely used (and official) built-in python async / asyncio stack?

Are there any major libraries using trio? (To see how a large, rather well-structured async codebase looks like, see Telethon, an async and complete MTProto implementation [1])

[1] https://github.com/LonamiWebs/Telethon

telethon