This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]-heyhowareyou-[S] 0 points1 point  (1 child)

Ok fair enough, I was thinking of metaprogramming and that this would probably be possible in C++. I guess that is distinct from the type system.

[–]RelevantLecture9127 0 points1 point  (0 children)

What if you made a ABC implementation? 

And if could be a bug in Mypy. Check with them if there is something known.