grr grumble grumble, this api takes "do this asynchronously?" as an argument and the python type system is not expurressive enough to recognize that it either returns the connection it creates or bottom depending on the value of the argument. grr grr grr annoying api, annoying

Follow

typing issues aside, i do think conceptually that sync and async versions of a function call should just be diffurent functions

Sign in to participate in the conversation
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.