Vincent Tunru on Nostr: I'm confused about the difference. As I understand it, the proposal specifies ...

I'm confused about the difference. As I understand it, the proposal specifies locations in the syntax tree that the interpreter should ignore (just like comments; the proposal used to be called "types as comments"). Type stripping removes parts of the syntax tree before running it — in other words, it's telling the interpreter to ignore those parts.

I don't see what the practical difference is?