21640 2013-04-09 12:58:19 +0000 Dictionaries and callbacks should be distinguishable 2014-09-10 13:29:22 +0000 1 1 1 Unclassified WebAppsWG WebIDL unspecified PC All RESOLVED WONTFIX [v1] P2 normal --- 1 robin cam annevk bzbarsky jackalmage jib mark_lanthaler mike public-script-coord public-webapps-bugzilla oldest_to_newest 85785 0 robin 2013-04-09 12:58:19 +0000 It seems strange that WebIDL prevents distinguishing between those two when it's fairly common in code out there to do just that simply by checking that typeof == function. 86024 1 mark_lanthaler 2013-04-12 09:57:46 +0000 Just a quick heads up: Assuming that this is indeed a bug, we used method overloading to define the JsonLdProcessor interface in the JSON-LD specification which just went into Last Call (http://www.w3.org/TR/2013/WD-json-ld-api-20130411/#the-jsonldprocessor-interface). There would be no other way to make the "options" parameter optional and have the callback as last parameter: void compact (JsonLdInput input, JsonLdContext context, JsonLdOptions options, JsonLdCallback callback); JsonLdOptions is a dictionary 86028 2 annevk 2013-04-12 10:17:47 +0000 JSON-LD should be using futures there, not callbacks. 86030 3 mark_lanthaler 2013-04-12 10:33:43 +0000 We discussed that as well but unfortunately introducing a normative dependency to the DOM spec was not acceptable at this stage. 86031 4 annevk 2013-04-12 10:40:51 +0000 I would consider creating broken APIs to be less acceptable than any other consideration really. 86032 5 mark_lanthaler 2013-04-12 11:30:45 +0000 "Broken" is a quite strong word for a pattern that is well established (and has been so for years) 86036 6 bzbarsky 2013-04-12 13:47:11 +0000 Markus, the normal pattern for an API that takes an options property bag is to put it last in the call signature. Is there a reason that's not being done here? (It would indidentally solve your overloading problem, but that's not why I'm suggesting it, fwiw.) 86038 7 mark_lanthaler 2013-04-12 14:01:21 +0000 The reason is that we are using node-style callbacks and in node the prevalent pattern is to have the callback last. So it's basically a matter of "consistency". Switching the order of the two parameters as you suggest is the backup plan in case the WebIDL bug doesn't get fixed. 86039 8 bzbarsky 2013-04-12 14:08:07 +0000 It sounds like in this instance "Node" style and "Web" style don't agree... It's not clear to me why we're using the former for a web spec (or using webidl for a non-web spec, if this is not a web spec), honestly. In particular, all sorts of things about dictionaries are optimized for use in web specs.... (As a note, though, the (object or object[]) pattern that spec uses is also not valid WebIDL.) 86040 9 mark_lanthaler 2013-04-12 14:40:49 +0000 > It sounds like in this instance "Node" style and "Web" style > don't agree... It's not clear to me why we're using the former > for a web spec (or using webidl for a non-web spec, if this > is not a web spec), honestly. Hmm... would you mind sending this comment directly to public-rdf-comments@w3.org so that it can be formally addressed? Thanks. Why is object or object[] not valid WebIDL? The only restriction on arrays I've found in the WebIDL spec is the following: "The element type of an array MUST NOT be a sequence or dictionary type." Is it because object and object[] are not distinguishable? What could we do about that? 86041 10 jackalmage 2013-04-12 15:11:21 +0000 (In reply to comment #9) > > It sounds like in this instance "Node" style and "Web" style > > don't agree... It's not clear to me why we're using the former > > for a web spec (or using webidl for a non-web spec, if this > > is not a web spec), honestly. > > Hmm... would you mind sending this comment directly to > public-rdf-comments@w3.org so that it can be formally addressed? Thanks. > > Why is object or object[] not valid WebIDL? The only restriction on arrays > I've found in the WebIDL spec is the following: "The element type of an > array MUST NOT be a sequence or dictionary type." Is it because object and > object[] are not distinguishable? What could we do about that? You can't do anything about it. That's the whole point of "not distinguishable" - you can't distinguish them in a reliable way. (Node and other JS libraries often use some arbitrary form of duck-typing to accomplish this, but that doesn't work at large.) 86042 11 bzbarsky 2013-04-12 15:22:23 +0000 I sent http://lists.w3.org/Archives/Public/public-rdf-comments/2013Apr/0022.html, fwiw. For this particular bug, I do think it would be OK to distinguish between dictionaries and callbacks based on [[Call]]. Note that we can't thus distinguish between dictionaries and callback interfaces. 86044 12 mark_lanthaler 2013-04-12 16:30:26 +0000 (In reply to comment #10) > (In reply to comment #9) > > Why is object or object[] not valid WebIDL? The only restriction on arrays > > I've found in the WebIDL spec is the following: "The element type of an > > array MUST NOT be a sequence or dictionary type." Is it because object and > > object[] are not distinguishable? What could we do about that? > > You can't do anything about it. That's the whole point of "not > distinguishable" - you can't distinguish them in a reliable way. (Node and > other JS libraries often use some arbitrary form of duck-typing to > accomplish this, but that doesn't work at large.) Are saying that an implementation of the API wouldn't be able to find out what has been passed? What about ECMAScript 5's isArray function? This methods are used to transform JSON-LD documents which can be objects or arrays as at the top-level (just as JSON according RFC4627). We use the (object or object[]) union type to describe that in WebIDL. What other type should we use instead? Just object since an array is also an object? I fear that would confuse most readers. 86045 13 mark_lanthaler 2013-04-12 16:34:08 +0000 (In reply to comment #11) > I sent > http://lists.w3.org/Archives/Public/public-rdf-comments/2013Apr/0022.html, > fwiw. Thanks. > For this particular bug, I do think it would be OK to distinguish between > dictionaries and callbacks based on [[Call]]. Great. I hope others agree. > Note that we can't thus distinguish between dictionaries and callback > interfaces. OK. 91603 14 cam 2013-08-04 07:33:47 +0000 The JSON-LD issue was resolved to not require dictionaries and callbacks to be distinguishable, so closing as WONTFIX.