Johan Nordlander
Johan Nordlander
It's actually a bit trickier: the type constraints that are collected from the source code are first sorted into non-overlapping groups, then solved in order of increasing weight (where weight...
I assume ErrorStmt, ErrorExpr, etc aren't new types but rather new constructors in the respective AST types. If so I fully agree and support the idea!
The general idea is that defined methods of a class are stored in its method table, while the attributes initialized in `__init__` get allocated in each created instance of the...
The analysis is already there, it’s just that when there’s a signature as well the compiler stupidly concludes that the attribute must be abstract — at least concerning the inference...
One aspect of it is that it's not that easy to tell he difference between synchronous and asynchronous execution, at least not when only a client and a server actor...