Jump to content

Extension talk:WikiLambda/Discovery needs

Add topic
From mediawiki.org
Latest comment: 4 years ago by DVrandecic (WMF) in topic Subtypes

"results would be shown prioritised by popularity"

[edit]

The following discussion is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.


One thing that worked well on Wikidata was to not prio them by popularity alone, but rank by best fit to conditions, and if there are not that many hits, relax the conditions and extend the list. DVrandecic (WMF) (talk) 20:55, 3 March 2021 (UTC)Reply

Yeah, possibly. I'm thinking that the filters will be sufficiently strong that people will normally want prioritisation, but will adjust wording to make that clearer. Jdforrester (WMF) (talk) 01:09, 4 March 2021 (UTC)Reply
Thanks, yes, that's great! DVrandecic (WMF) (talk) 01:28, 4 March 2021 (UTC)Reply
The discussion above is closed. Please do not modify it. No further edits should be made to this discussion.

Subtypes

[edit]

The following discussion is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.


I still hope we can get away without having explicit subtypes, but one other example could be:

  • As a function user, show me a list of Functions which take exactly a list of strings
  • As a function user, show me a list of Functions which take exactly a list of anything
  • As a function user, show me a list of Functions which take exactly a pair of string and boolean
  • As a function user, show me a list of Functions which take exactly a pair of string and something else
  • ...

So basically generic types where the argument might be not given (i.e. anything). Those are not defined as subtypes (i.e. we don't say "string16 is a subtype of string") but rather these are structurally necessary subtypes (list of string is a subtype of list of anything) - which makes the hierarchy static and predictable. DVrandecic (WMF) (talk) 21:36, 3 March 2021 (UTC)Reply

Good idea; how's that? Jdforrester (WMF) (talk) 01:14, 4 March 2021 (UTC)Reply
Perfect, thank you! DVrandecic (WMF) (talk) 01:28, 4 March 2021 (UTC)Reply
The discussion above is closed. Please do not modify it. No further edits should be made to this discussion.