- From: William Van Woensel <william.vanwoensel@gmail.com>
- Date: Tue, 11 Jan 2022 12:58:38 +0000
- To: Jos De Roo <josderoo@gmail.com>, "public-n3-dev@w3.org" <public-n3-dev@w3.org>
- Message-ID: <DM6PR06MB605888EE4A03F2A6F8AFF994FC519@DM6PR06MB6058.namprd06.prod.outlook.com>
Hi Jos, Doerthe, My confusion about this example yesterday stemmed from the fact that it is unclear why “?u” is also being collected, if it is not being used later on. But now I assume it is simply part of the example (and not related to scoping within the collectAllIn builtin, which is what I believe we were talking about :-)? On that note: as I mentioned yesterday, one could identify at compile time all local variables within the where clause of collectAllIn, but only barring some exceptional circumstances. Such as: http://ppr.cs.dal.ca:3002/n3/editor/s/tfsdyPr0 (this “pulling in” of universal variables into rules, meaning they become part of the reasoning machinery, was actually a big problem in jen3..) When compiling this example I found that the following doesn’t seem to work in Eye: http://ppr.cs.dal.ca:3002/n3/editor/s/zc2tHpTw Thoughts? William From: Jos De Roo <josderoo@gmail.com> Date: Monday, January 10, 2022 at 3:03 PM To: public-n3-dev@w3.org <public-n3-dev@w3.org> Subject: how to go from a list of lists to a list of first elements This is about the question of Doerthe [[ Question: http://ppr.cs.dal.ca:3002/n3/editor/s/Mut5EohI Would we use built-ins here? ]] So how to go from a list of lists to a list of first elements? We could use list:map like is done in http://ppr.cs.dal.ca:3002/n3/editor/s/xrtMG2Xc Jos -- https://josd.github.io
Received on Tuesday, 11 January 2022 12:59:52 UTC