Page MenuHomePhabricator
Create Task
Maniphest T321824

Create a JavaScript Function Which Can Decide Whether a Type Is Type-Equivalent to Another Type
Closed, ResolvedPublic
Actions

Description

Details can be found here.

Type-equivalence is an asymmetric relation which holds between two types, A and B.

A is type-equivalent to B iff

  • the identity of A is equal to the identity of B, OR
  • the identity of B is Z1, OR
  • the keys in A stand in a 1:1 relationship to the keys in B, and the type of every key in A is type-equivalent to the type of the corresponding key in B

Details

Related Changes in Gerrit:
SubjectRepoBranchLines +/-
Update function-schemata sub-module to HEAD (e7af92e)mediawiki/extensions/WikiLambdamaster+1 -1
Update function-schemata sub-module to HEAD (e7af92e)mediawiki/services/function-evaluatormaster+1 -1
Update function-schemata sub-module to HEAD (e7af92e)mediawiki/tools/wikilambda-climaster+1 -1
Update function-schemata sub-module to HEAD (e7af92e)mediawiki/services/function-orchestratormaster+1 -1
Add compareTypes function to replace validation.mediawiki/services/function-schematamaster+237 -0
Customize query in gerrit

Related Objects
Search...

Event Timeline

cmassaro created this task.Oct 27 2022, 3:45 PM
cmassaro merged a task: T316563: Consider Writing Type-Checking Logic in JS.Nov 3 2022, 5:04 PM
DVrandecic moved this task from To Triage to To triage: Nice-to-haves on the Abstract Wikipedia team board.Nov 15 2022, 7:49 PM
DVrandecic moved this task from To triage: Nice-to-haves to Phase θ – Throttling on the Abstract Wikipedia team board.Dec 22 2022, 11:13 PM
DVrandecic edited projects, added Abstract Wikipedia team (Phase θ – Throttling); removed Abstract Wikipedia team.
DVrandecic moved this task from Incoming to Ready: G2. Correct & efficient on the Abstract Wikipedia team (Phase θ – Throttling) board.
DVrandecic subscribed.Dec 22 2022, 11:29 PM

Pointing to T318365 for the type comparison operator

gerritbot added a comment.Jan 19 2023, 4:30 PM

Change 853067 had a related patch set uploaded (by Cory Massaro; author: Cory Massaro):

[mediawiki/services/function-schemata@master] Add compareTypes function to replace validation.

https://gerrit.wikimedia.org/r/853067

gerritbot added a project: Patch-For-Review.Jan 19 2023, 4:30 PM
cmassaro claimed this task.Jan 24 2023, 11:34 AM
gerritbot added a comment.Jan 24 2023, 9:13 PM

Change 853067 merged by jenkins-bot:

[mediawiki/services/function-schemata@master] Add compareTypes function to replace validation.

https://gerrit.wikimedia.org/r/853067

cmassaro mentioned this in rMSFS4e43d3a5a803: Add compareTypes function to replace validation..Jan 24 2023, 9:14 PM
Maintenance_bot removed a project: Patch-For-Review.Jan 24 2023, 9:31 PM
gerritbot added a comment.Jan 25 2023, 9:08 AM

Change 883504 had a related patch set uploaded (by Cory Massaro; author: Cory Massaro):

[mediawiki/services/function-orchestrator@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883504

gerritbot added a project: Patch-For-Review.Jan 25 2023, 9:08 AM
gerritbot added a comment.Jan 25 2023, 5:33 PM

Change 883637 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/tools/wikilambda-cli@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883637

gerritbot added a comment.Jan 25 2023, 5:33 PM

Change 883638 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/services/function-evaluator@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883638

gerritbot added a comment.Jan 25 2023, 5:33 PM

Change 883639 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/extensions/WikiLambda@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883639

gerritbot added a comment.Jan 25 2023, 5:34 PM

Change 883504 merged by jenkins-bot:

[mediawiki/services/function-orchestrator@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883504

cmassaro mentioned this in rMSFO1d93096e860e: Update function-schemata sub-module to HEAD (e7af92e).Jan 25 2023, 5:35 PM
gerritbot added a comment.Jan 26 2023, 10:23 AM

Change 883637 merged by jenkins-bot:

[mediawiki/tools/wikilambda-cli@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883637

Jdforrester-WMF mentioned this in rMTWC34e88a6c19e7: Update function-schemata sub-module to HEAD (e7af92e).Jan 26 2023, 10:24 AM
gerritbot added a comment.Jan 26 2023, 10:26 AM

Change 883638 merged by jenkins-bot:

[mediawiki/services/function-evaluator@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883638

Jdforrester-WMF mentioned this in rMSFE60597883893a: Update function-schemata sub-module to HEAD (e7af92e).Jan 26 2023, 10:27 AM
gerritbot added a comment.Jan 26 2023, 10:37 AM

Change 883639 merged by jenkins-bot:

[mediawiki/extensions/WikiLambda@master] Update function-schemata sub-module to HEAD (e7af92e)

https://gerrit.wikimedia.org/r/883639

Maintenance_bot removed a project: Patch-For-Review.Jan 26 2023, 11:30 AM
ReleaseTaggerBot added a project: MW-1.40-notes (1.40.0-wmf.21; 2023-01-30).Jan 26 2023, 12:00 PM
Jdforrester-WMF moved this task from Ready: G2. Correct & efficient to QA / Ready to close on the Abstract Wikipedia team (Phase θ – Throttling) board.Jan 26 2023, 5:44 PM
DVrandecic closed this task as Resolved.Jan 27 2023, 1:19 AM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits