« first day (4537 days earlier)      last day (411 days later) » 

11:03 AM
@roganjosh I think that's mainly on library authors. The Python success story has always been to be boringly familiar, but since typing is pretty new it still needs to settle for what is mundane and what is magic.
async is a bit in a similar boat, but at least you won't encounter it until you actually buy in.
Plus it has pretty much settled on a bit of syntax; typing is its own minilanguage.
 
 
10 hours later…
8:49 PM
Typing should have type guards that apply to self
class Foo:
    bar: Optional[int]

    @property
    def has_bar(self) -> TypeGuard['_FooWithBar']:
        return self.bar is not None

    def frobnicate(self):
        if self.has_bar:
            reveal_type(self.bar)  # int

class _FooWithBar(Foo):
    bar: int
Actually, that's an XY solution. Typing needs improved support for instance attributes in general
 

« first day (4537 days earlier)      last day (411 days later) »