11:53:08 RRSAgent has joined #wot-script 11:53:08 logging to https://www.w3.org/2022/01/31-wot-script-irc 11:53:29 meeting: WoT Scripting API 12:00:35 JKRhb has joined #wot-script 12:00:54 dape has joined #wot-script 12:01:41 present+ Kaz_Ashimura, Jan_Romann 12:02:34 cris has joined #wot-script 12:03:17 zkis has joined #wot-script 12:05:03 Mizushima has joined #wot-script 12:05:29 Meeting: WoT Scripting 12:05:41 scribe: zkis 12:05:56 Agenda: 12:06:21 --> https://www.w3.org/2022/01/24-wot-script-minutes.html 12:06:34 Topic: past minutes 12:07:26 No objections 12:07:35 DP: minutes are public 12:07:39 Topic: PRs 12:07:54 SUBTOPIC: resolve ReSpec warnings 12:07:59 --> https://github.com/w3c/wot-scripting-api/pull/368 12:08:26 present+ Daniel_Peintner, Cristiano_Aguzzi, Tomoai_Mizushima, Zoltan_Kis 12:09:28 DP: should we leave out JSON-LD reference< 12:09:33 s/ CA: not so critical, we can improve it later - but not very precise 12:10:27 q? 12:11:24 q+ 12:11:26 ZK: I suggest leaving it out and add it later when the formulation becomes more exact. 12:12:20 Jan: we could mention that TDs are JSON-LD documents 12:13:20 DP: the sentence was lifted from the TD spec abstract 12:13:22 q+ 12:13:30 ack JK 12:13:33 ack kaz 12:14:13 KA: technically it depends on whether the group wants plain JSON, but we could just refer to the TD and don't mention details in the Scripting AP 12:14:32 DA: true, but we could still explain something that is true 12:14:53 ... meaning that JSON-LD tools can be used on it. 12:15:41 KA: agree with Jan, if the group wants to give detail also in Scripting, but we can refer to TD since it's define elsewhere. 12:16:20 ... if the TD definition is changed in the future, then we need to change it in every place 12:17:05 DP: so we either remove it, or we add more explanation. 12:17:23 +1 12:17:46 +1 12:18:21 ZK: let's keep it simple and remove JSON-LD reference from now 12:18:46 DP: so one more edit, and will merge afterwards. 12:19:05 SUBTOPIC: refactor: remove obsolete files 12:19:10 --> https://github.com/w3c/wot-scripting-api/pull/370 12:19:48 q? 12:20:10 q+ 12:20:19 DP: in the TD spec repo it was also removed 12:20:23 KA: it's OK to remove 12:20:26 ack kaz 12:20:41 DP: merged 12:21:06 SUBTOPIC: Fixes some minor typos/issues 12:21:11 --> https://github.com/w3c/wot-scripting-api/pull/371 12:22:20 ZK: just editorials, go ahead 12:22:25 SUBTOPIC: Generate types for unreachable definitions 12:22:29 --> https://github.com/w3c/wot-scripting-api/pull/372 12:23:08 CA: this relates to TypeScript and JSON schema definitions 12:23:32 ... there was a problem with TypeScript tools 12:23:59 ... so for undefined things it will generate definitions 12:24:13 ... adds almost no information 12:24:38 ... opened an issue on how can we add this feature to the dependency library, no answer yet 12:25:20 ... these comments can stay for the moment 12:26:12 q+ 12:26:28 DP: fine for me 12:27:03 Jan: for TD there isn't a comment generated (probably not referenced) - but isn't there a comment field in the definition? 12:27:20 CA: already addressed this in the comments on the PR 12:29:10 DP: if we merge it, we should create an issue to remind checking later 12:30:38 Jan: a number of merge conflicts, should rebase first 12:30:41 CA: right 12:31:32 DP: will create the issue 12:31:49 q? 12:31:56 ack JK 12:32:37 SUBTOPIC: Thing model types 12:32:43 -> https://github.com/w3c/wot-scripting-api/pull/373 12:33:11 DP: creates TS definitions for Thing Models 12:33:26 ... useful for implementations 12:33:37 CA: indeed in node-wot we needed these 12:33:59 ... also update the script in the github CI 12:34:07 s/update the/updated the 12:34:32 ... not tested yet, though 12:35:00 DP: some typos still 12:36:54 CA: and some conflicts to fix before merging 12:37:43 Topic: issues 12:37:55 SUBTOPIC: Conformance section necessity 12:38:00 --> https://github.com/w3c/wot-scripting-api/issues/354 12:38:10 q+ 12:38:26 ack kaz 12:38:58 KA: if the WG would like to publish a document named WG Note which includes normative content, we can do that, but it's not a W3C recommendation. 12:39:36 ZK: so we need a group resolution 12:40:07 KA: the W3C process is changing these days, and defined a group note track, which we can use, based on the WG resolution 12:40:21 DP: will add an agenda item on the main call 12:42:26 ZK: we should check the content of the Note track before the main call 12:43:10 KA: if the Scripting TF wants to go a certain way, we can record a TF resolution and then bring it to the WG for a WG resolution 12:44:23 DP: updated the comment in the issue 12:45:07 ZK: we also need to send a formal email to the group 12:47:29 SUBTOPIC: Rename Use Cases section 12:47:33 -> https://github.com/w3c/wot-scripting-api/issues/355 12:48:23 q? 12:49:24 action: ZK creates a PR proposal 12:49:29 +1 12:49:42 q+ 12:50:05 ack kaz 12:51:28 SUBTOPIC: Using a callback-based approach for Discovery 12:51:34 --> https://github.com/w3c/wot-scripting-api/issues/364 12:53:54 q+ 12:54:09 DP: should we treat this together with Cristiano's proposal for new API 12:54:13 ack Jan 12:54:32 ack JK 12:54:52 ZK: let's treat them separately 12:55:03 Jan: should we make a PR on this? 12:56:03 ZK: no, let's first agree on the WebIDL before the PR - or well, we can start with a PR and change that one 12:56:20 Jan: yes, we can start with that 12:57:01 ZK: only that in a PR there are much more comments if there is disagreement on the API details 12:57:13 Jan: will post in the issue first, then 12:58:34 DP: we should stop here, time is up 13:02:33 adjourned 13:02:39 rrsagent, make log public 13:02:43 rrsagent, draft minutes 13:02:43 I have made the request to generate https://www.w3.org/2022/01/31-wot-script-minutes.html kaz 13:04:12 agenda: https://www.w3.org/WoT/IG/wiki/WG_WoT_Scripting_API_WebConf#31_January_2022 13:04:13 rrsagent, draft minutes 13:04:13 I have made the request to generate https://www.w3.org/2022/01/31-wot-script-minutes.html kaz 13:05:07 chair: Daniel 13:05:09 rrsagent, draft minutes 13:05:09 I have made the request to generate https://www.w3.org/2022/01/31-wot-script-minutes.html kaz 13:48:57 zkis has joined #wot-script 14:02:57 zkis_ has joined #wot-script 14:55:10 Zakim has left #wot-script