21422 2013-03-28 16:08:18 +0000 Generic Promise type notation 2014-01-28 23:04:37 +0000 1 1 1 Unclassified WebAppsWG WebIDL unspecified PC All RESOLVED FIXED P2 normal --- 1 annevk cam bruant.d mike mounir public-script-coord public-webapps-bugzilla oldest_to_newest 85097 0 annevk 2013-03-28 16:08:18 +0000 Now we have http://dom.spec.whatwg.org/#futures we should introduce friendly IDL syntax for them. In particular, the result of a Future should appear in the IDL without hacks. E.g. Future<Blob> toBlob(); 87445 1 mounir 2013-05-08 17:52:21 +0000 I think it would be good to add the type of the error object in addition of the type of the succes object. Maybe this could have a default value in which case it would not be needed? http://lists.w3.org/Archives/Public/www-dom/2013AprJun/0095.html 89941 2 bruant.d 2013-06-27 09:49:42 +0000 It's with a smile of happiness in my face that I noticed the following this morning [1] interface SubtleCrypto { // ... Promise<any> generateKey(AlgorithmIdentifier algorithm, bool extractable = false, KeyUsage[] keyUsages = []); // ... } IMO the most complete version should be "Promise<resultT, errorT>" where both the result and error type can be specified. Sweetened versions: * Promise<resultT> => Promise<resultT, Error> * Promise => Promise<any, Error> (not sure whether that should be Error or DOMError) Thoughts? [1] http://www.w3.org/TR/2013/WD-WebCryptoAPI-20130625/#dfn-SubtleCrypto 89943 3 annevk 2013-06-27 10:15:17 +0000 Error does not work. Sometimes we forward exceptions to reject. 89944 4 bruant.d 2013-06-27 10:21:45 +0000 (In reply to comment #3) > Error does not work. Sometimes we forward exceptions to reject. Hmm... Does that means success and errors are asymmetrical? Is that a desired property? 89945 5 annevk 2013-06-27 10:23:07 +0000 I don't think it's necessary for reject to have a consistent type. It's for debugging. 99364 6 cam 2014-01-28 23:04:37 +0000 Although I plan to make Error and DOMException the names of real types and not just exceptions, I'm not sure how useful it is to identify the rejection type and to type check it. So for the moment I don't coerce it (well, I convert it to "any" which is the "don't do anything really" conversion from JS to IDL values). https://github.com/heycam/webidl/commit/61403d1705384ed4bb9e15fd4dda319b96faf08a