The Function type really benefits from a dedicated viewer.
Optionally, also have a dedicated editor and creator.
Z8K1/identity, pointing to its own ZID
Z8K2/list of argument declarations
(Z8K3/list of tests - for later)
Z8K4/(list of?) implementation
This also requires an Z17/argument declaration type with an Z17K1/type ID, Z17K2/key, and Z17K3/label.
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| [WIP] Add ZFunction and ZArgumentDeclaration data types | mediawiki/extensions/WikiLambda | master | +162 -0 |
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | Jdforrester-WMF | T258958 Z14/Implementation type | |||
| Resolved | Jdforrester-WMF | T258957 Z8/Function type |
This also requires an Z17/argument declaration type with an Z17K1/key ID, Z17K2/type, and Z17K3/label.
https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Pre-generic_function_model#Z17/Argument_declaration says this is
… (i.e. key and type are reversed). I assume that's the correct one?
Change 661815 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/extensions/WikiLambda@master] [WIP] Add ZFunction and ZArgumentDeclaration data types
Change 661815 merged by jenkins-bot:
[mediawiki/extensions/WikiLambda@master] [WIP] Add ZFunction and ZArgumentDeclaration data types