the gist is that the two major type checkers for Python behave in significantly different ways, enough to support the case that Python currently has two different type systemts.

Sign in to participate in the conversation
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko