Page MenuHomePhabricator
Create Task
Maniphest T288555

Support serialisation/deserialisation of user-defined types
Closed, ResolvedPublic
Actions

Description

This will rely on the support for complex nested types

Orchestrator part: Retrieval from the wiki
Evaluator part: Gleaning from the object
Function model: How do we change Z14 to let the system know that we need to pass these to the evaluator?

Design Doc: https://docs.google.com/document/d/1sietvxTX13YaPe50uVl750cb3GSxbAIdlIwg79v3Vgo/edit?usp=sharing

Related Objects
Search...

StatusSubtypeAssignedTask
 ResolvedNoneT290119 Phase η root task
 ResolvedNoneT290118 User-defined types work with validation
 ResolvedcmassaroT290898 Implement (De)Serialization for Generic/Compound Types
 ResolvedcmassaroT288555 Support serialisation/deserialisation of user-defined types
 ResolvedBUG REPORTcmassaroT290122 "Could not deserialize input ZObject type: Z86"
 ResolvedcmassaroT287263 Deserialize Objects in Evaluator Based on Z7K1.Z8K2
 ResolvedNoneT275941 Extend the system to support generated instances of Z4/ZTypes by parameterised functions ("Generic types")
 ResolvedgenghT277000 Validate a Z7/Function call in the wiki
 ResolvedgenghT281386 Use the formal ZObject validation definitions from the function-schemata repo in the ZObjectFactory validation code
 DeclinedLindsaykwardellT282745 Add function-schemata to frontend in order to remedy hybrid forms
 ResolvedLindsaykwardellT282816 Use canonicalizer to display JSON
 ResolvedcmassaroT284474 Add tests for normalize/canonicalize code in frontend.
 ResolvedcmassaroT284764 Fix Canonicalization Code in Frontend to Handle Z6s That Masquerade as Z9s
 ResolvedgenghT287734 Replace wikilambda extension php validation code with call to schemata validation
 ResolvedcmassaroT276369 Create PHP bindings for function-schemata
 ResolvedNoneT291033 A function call used as an argument should validate its return type against the expected type of the argument
 ResolvedNoneT291034 Every argument of a function call with a literal or reference should be of a type compatible for that argument
 ResolvedgenghT287700 Make error generation code produce an understandable result when called with non-existent arguments
 ResolvedcmassaroT291032 Arguments taking a function should validate functions as values
 ResolvedNoneT291040 Generic functions
 InvalidNoneT291037 Function model: update functions to the new generic types
 InvalidgenghT291038 Function model: updates to the data model to implement generic types
 ResolvedDVrandecicT287196 Update Pre-Generic Function Model
 ResolvedDVrandecicT287195 Function model: Z21 should be updated to be the null value of Unit
 ResolvedDVrandecicT287194 Function model: Z8K5 is a Z8/Function not a Z6/String, regardless of what our code says
 ResolvedSimoneThisDotT303302 Validate that the UX works with typed list for core types (e.g. Z4 has a typed list of Z3s)
 ResolvedSimoneThisDotT304101 Change the Type UX so that it works (viewing/creating/editing) with a typed list of Z3s for Z4K2
Resolved• JKiesermanT303303 Change the pre-defined core types to use typed lists and not general lists
 ResolvedNoneT291039 Functions using generic types as input types or output type can be defined and implemented
 ResolvedNoneT291045 Function created by a generic function call can be evaluated
 ResolvedJdforrester-WMFT291046 Generic functions can be evaluated
 ResolvedNoneT291047 Generic functions can be implemented
 ResolvedNoneT291048 Generic functions can be defined
 DeclinedNoneT291036 Function model: Z8 should change from a type to a function taking a type and a list of types and returning a type
 ResolvedSimoneThisDotT291041 Instances of a generic type are displayed correctly
 ResolvedSimoneThisDotT291042 Instances of generic types can be edited
 ResolvedcmassaroT291044 Instances of generic types are being validated
 ResolvedcmassaroT285260 Orchestrator Top-Level Validation Should Check Z1K1
 ResolvedSimoneThisDotT297244 Let front-end users create and edit instances of any generic type
 ResolvedSimoneThisDotT291043 Instances of generic typed lists can be created
 ResolvedcmassaroT266241 Normalizer and canonicalizer should deal with local and global keys
 ResolvedcmassaroT289681 Composition creating a type doesn't evaluate
 ResolvedBUG REPORTJdforrester-WMFT292890 Trying to create a Z14 throws "Cannot read properties of undefined (reading 'filter')" in Vue code
 ResolvedSimoneThisDotT295470 Change the type search API to allow users to search for functions returning a type in addition to instances of that type
 ResolvedgenghT262089 Store type identity output in wikilambda_zobject_labels table
ResolvedgenghT297925 Change object search API to optionally include functions' return types as the 'type' filter
 ResolvedcmassaroT286975 Make it possible to define the Typed List function fully
 ResolvedcmassaroT287102 Resolve Z18s Wherever They Occur
 ResolvedJdforrester-WMFT291049 Function that takes a type and returns a type can be evaluated
 ResolvedDVrandecicT291050 Functions that take a type and return a type can be implemented
 ResolvedDVrandecicT291051 Functions that take a type and return a type can be defined
 ResolvedJdforrester-WMFT293663 Fix instancePath vs. dataPath in function-schemata, Add Tests
 ResolvedcmassaroT292808 Use type inference logic to serialize the return type of functions which return a generic ZObject (Z8K2 === Z1)

Event Timeline

Jdforrester-WMF created this task.Aug 10 2021, 5:55 PM
cmassaro updated the task description. (Show Details)Aug 19 2021, 10:48 PM
DVrandecic moved this task from To triage to Phase η – Generic types on the Abstract Wikipedia team board.Aug 25 2021, 4:26 PM
DVrandecic edited projects, added Abstract Wikipedia team (Phase η – Generic types); removed Abstract Wikipedia team.
Jdforrester-WMF added a parent task: T290118: User-defined types work with validation.Sep 1 2021, 4:05 PM
Jdforrester-WMF added a subtask: T290122: "Could not deserialize input ZObject type: Z86".Sep 15 2021, 9:14 PM
Jdforrester-WMF added a subtask: T287263: Deserialize Objects in Evaluator Based on Z7K1.Z8K2.Sep 15 2021, 9:29 PM
Jdforrester-WMF closed subtask T290122: "Could not deserialize input ZObject type: Z86" as Resolved.Oct 7 2021, 1:40 AM
DVrandecic added a subtask: T292808: Use type inference logic to serialize the return type of functions which return a generic ZObject (Z8K2 === Z1).Oct 20 2021, 11:06 PM
Jdforrester-WMF closed subtask T292808: Use type inference logic to serialize the return type of functions which return a generic ZObject (Z8K2 === Z1) as Resolved.Oct 26 2021, 5:54 PM
Jdforrester-WMF closed subtask T287263: Deserialize Objects in Evaluator Based on Z7K1.Z8K2 as Resolved.Dec 1 2021, 5:04 PM
DVrandecic moved this task from Incoming to Ready to do on the Abstract Wikipedia team (Phase η – Generic types) board.Dec 7 2021, 5:41 PM
Jdforrester-WMF added a parent task: T290898: Implement (De)Serialization for Generic/Compound Types.Dec 7 2021, 5:42 PM
DVrandecic triaged this task as Medium priority.Dec 8 2021, 9:57 PM
Jdforrester-WMF assigned this task to cmassaro.Dec 13 2021, 5:32 PM
Jdforrester-WMF changed the task status from Open to In Progress.Dec 14 2021, 5:29 PM
Jdforrester-WMF moved this task from Ready to do to In progress on the Abstract Wikipedia team (Phase η – Generic types) board.
Jdforrester-WMF moved this task from In progress to QA / Ready to close on the Abstract Wikipedia team (Phase η – Generic types) board.Dec 21 2021, 6:54 PM
DVrandecic closed this task as Resolved.Jan 11 2022, 5:34 PM
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