Re: [heycam/webidl] No seemingly consistent Shepherd story (#240)

Anne, what you're proposing would be a complete overhaul of Web IDL, which has a strong foundation in type theory right now and relies on the guarantees it provides during all of its algorithms, not just at the boundary. The whole point of Web IDL having IDL -> JS conversion rules is _because_ it's converting from one well-defined type system to the other. Without that the whole enterprise becomes ill-founded.

-- 
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/issues/240#issuecomment-262254244