Add function-schemata to frontend in order to remedy hybrid forms
Closed, DeclinedPublic
Actions

Assigned To

Authored By

	cmassaro
	May 12 2021, 8:27 PM

Description

Specifically, we need versions of normalize and canonicalize that don't rely on the validators because the frontend can't package the .yaml files.

Related Objects
Search...

Status	Assigned	Task
Open	None	T278321 Provide a special page listing invalid ZObjects
Open	None	T278318 Let users validate an unstored ZObject / edit on a ZObject
Stalled	None	T269177 ZObject DAO should have a isWellFormed method
Resolved	cmassaro	T260861 Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded
Open	None	T278316 Provide a validation API endpoint for arbitrary ZObjects from both MediaWiki and the orchestrator
Open	None	T292240 Save Un- (or Under-) Validated ZObjects, Validate Asynchronously via Orchestrator, Then Annotate ZObjects As Valid or Not
Open	None	T278325 Store that a page contains an invalid ZObject in a tracking table
Open	None	T278320 Allow to store an invalid ZObject explicitly, so we can have failure examples for Validator functions' Testers
Open	None	T294045 Create a "Validate" Endpoint in Orchestrator
Duplicate	None	T273125 Migrate hard-coded validators to validation defined on-wiki
Open	None	T278319 Provide functionality for users to trigger a re-validation of a stored object
Resolved	cmassaro	T290898 Implement (De)Serialization for Generic/Compound Types
Declined	None	T287608 Reconsider dropping Nothing and Unit in favor of Maybe
Resolved	None	T290119 Phase η root task
Resolved	None	T290118 User-defined types work with validation
Resolved	cmassaro	T288555 Support serialisation/deserialisation of user-defined types
Resolved	cmassaro	T287263 Deserialize Objects in Evaluator Based on Z7K1.Z8K2
Resolved	None	T275941 Extend the system to support generated instances of Z4/ZTypes by parameterised functions ("Generic types")
Resolved	gengh	T277000 Validate a Z7/Function call in the wiki
Resolved	gengh	T281386 Use the formal ZObject validation definitions from the function-schemata repo in the ZObjectFactory validation code
Resolved	SimoneThisDot	T291023 Instances of user-defined types can be entered using the default component
Resolved	Jdforrester-WMF	T291029 Instances of a user-defined type can be edited
Resolved	DVrandecic	T291025 Make it possible to define and implement functions using user-defined types as output or an input type
Resolved	None	T291028 Instances of a user-defined type which should not validate indeed do not validate
Resolved	None	T273124 Use evaluation for validation
Resolved	cmassaro	T260321 Allow users to trigger function calls for built-in functions (orchestrator-only)
Resolved	DVrandecic	T261964 Agree on architecture for first evaluation engine
Resolved	Lindsaykwardell	T280558 Normalize Inputs to Orchestrator
Resolved	arthurlorenzi	T275095 Move normalization and canonicalization code to function-schemata
Resolved	None	T262770 Normalize ZObjects
Invalid	None	T280559 Retrieve Function Signature from Orchestrator
Resolved	cmassaro	T282843 Hook up orchestrator to the evaluator and pass through appropriately-dereferenced Z7 calls
Resolved	cmassaro	T271762 Create initial Function Evaluator service
Resolved	cmassaro	T269697 Turn Function Evaluator into a service
Resolved	cmassaro	T269698 Make Function Evaluator work async
Resolved	cmassaro	T272630 Define interface for the function-evaluator
Resolved	Jdforrester-WMF	T276478 Provide "semantically peel-able" list of programming languages that we allow
Resolved	cmassaro	T273515 Create Execution Environments for Supported Languages
Resolved	cmassaro	T273517 Create Execution Environment for Python
Resolved	cmassaro	T275944 Create Execution Environment for JavaScript
Resolved	None	T261470 Sandboxing and monitoring of evaluations
Resolved	SimoneThisDot	T291022 Validators for user-defined types can be defined and linked
Resolved	SimoneThisDot	T291021 Make the UX for creating a user-defined type straightforward
Resolved	SimoneThisDot	T292891 Provide a custom UX for Z4/Type
Resolved	Jdforrester-WMF	T291031 Validator implementations can call Z101/object validator, and then add to it
Resolved	cmassaro	T262997 Validate the values on the keys on a user-defined type
Resolved	gengh	T287734 Replace wikilambda extension php validation code with call to schemata validation
Resolved	cmassaro	T276369 Create PHP bindings for function-schemata
Resolved	Jdforrester-WMF	T293831 WikiLambda documentation should explain how to get composer dependencies installed, lest users have missing ISchemaLoader fatals
Resolved	cmassaro	T291030 Validator of a user-defined type can be implemented
Resolved	cmassaro	T291026 Let user implementations throw a user-defined error during a user-defined validation
Resolved	None	T291027 Users can create error types
Resolved	DVrandecic	T293423 Create a function that turns an error type into a type
Resolved	cmassaro	T289687 Allow users to create instances of errors in composition
Resolved	arthurlorenzi	T290346 Function model: Change the signature of validators from Type -> List to Type -> Type (pass-through)
Resolved	• AdesojiThisDot	T293742 Navigate to "provide tests" after user define function, instead than to the newly defined object
Resolved	None	T277925 Provide a validator for Z14/Implementation in the editing experience
Declined	Lindsaykwardell	T282745 Add function-schemata to frontend in order to remedy hybrid forms
Resolved	Lindsaykwardell	T282816 Use canonicalizer to display JSON
Resolved	cmassaro	T284474 Add tests for normalize/canonicalize code in frontend.
Resolved	cmassaro	T284764 Fix Canonicalization Code in Frontend to Handle Z6s That Masquerade as Z9s