Hacker News new | ask | show | jobs
by ZiiS 205 days ago
Exactly so all the Browser should do is erase the types. Doing that after you have spent extra time downloading and parsing them is not a useful enough feature to lumber the language with having to get all Browser's to ship each new change.