Consider dropping the entire section on static checking (including 'sealed')

gvanrossum / patma

Pattern Matching

1.03k stars 65 forks source link

Consider dropping the entire section on static checking (including 'sealed') #150

Open gvanrossum opened 4 years ago

gvanrossum commented 4 years ago

This section caused mostly confusion and bewilderment, and I don't consider it essential for the PEP. Static checkers have always managed to figure out how best to check existing Python constructs without formal specifications.

Tobias-Kohn commented 4 years ago

Agreed. Perhaps this is also something that might best be put into a separate PEP if we want to follow up on this.

dmoisset commented 4 years ago

willingc commented 4 years ago

+1 to simplify and use a future PEP if desired.

brandtbucher commented 4 years ago

Agreed. I believe we just inherited it without modification from Ivan's first draft.

gvanrossum commented 4 years ago

Done.