Re: [heycam/webidl] BREAKING: Convert the `unrestricted` keyword into an extended attribute (#857)

Agreed @saschanaz. Which reminds me that I kind of forgot a conclusion to my post. Unfortunately the conclusion is basically pessimistic: I cannot think of any principled framework for this space which accomplishes the goals of:

- Grounding our primitive type system in an existing one (either JS, or C++/Rust)
- Avoiding an increase in spec authors/implementer usage complexity
  - Any JS-based primitive type system causes a great increase in such complexity
  - Any C++/Rust-based primitive type system increases complexity by requiring folks to remember to prohibit or handle NaN/Infinities.

Maybe there is some other guiding principle besides grounding our primitive type system in an existing one?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/857#issuecomment-604527325