Page MenuHomePhabricator

Make it possible to define the Typed List function fully
Closed, ResolvedPublic

Description

Assume a function that takes a type and returns a type, which is a typed list using that type. The function definition is here:
https://notwikilambda.toolforge.org/wiki/ZObject:Z10046

The implementation of that function should look like this, but this cannot be saved currently:

{
    "Z1K1": "Z14",
    "Z14K1": "Z10046",
    "Z14K2": {
        "Z1K1": "Z4",
        "Z4K1": {
        	"Z1K1": "Z7",
        	"Z7K1": {
        		"Z1K1": "Z18",
        		"Z18K1": "Z10046K1"
        	}
        },
        "Z4K2": [{
        	"Z1K1": "Z3",
        	"Z3K1": {
        		"Z1K1": "Z18",
        		"Z18K1": "Z10046K1"
        	},
        	"Z3K2": "K1",
        	"Z3K3": {
        		"Z1K1": "Z12",
        		"Z12K1": []
        	}
        }, {
        	"Z1K1": "Z3",
        	"Z3K1": {
	        	"Z1K1": "Z7",
    	    	"Z7K1": {
        			"Z1K1": "Z18",
        			"Z18K1": "Z10046K1"
        		}
        	},
        	"Z3K2": "K1",
        	"Z3K3": {
        		"Z1K1": "Z12",
        		"Z12K1": []
        	}
        }],
        "Z4K3": "Z110"
    }
}

This would return a type where the first key is of the type that is given as an argument, and the second key is of the type that is being created here (note the recursion).

Related Objects

StatusSubtypeAssignedTask
OpenNone
OpenNone
StalledNone
Resolvedcmassaro
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
DuplicateNone
OpenNone
OpenNone
ResolvedJdforrester-WMF
Resolvedcmassaro
OpenNone
ResolvedNone
ResolvedNone
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
Resolvedgengh
ResolvedNone
Resolvedcmassaro
ResolvedNone
InvalidNone
Invalidgengh
ResolvedNone
ResolvedNone
ResolvedJdforrester-WMF
ResolvedNone
ResolvedNone
DeclinedNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolvedcmassaro
Resolvedcmassaro
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolvedcmassaro
Resolvedcmassaro
ResolvedBUG REPORTJdforrester-WMF
ResolvedSimoneThisDot
Resolvedgengh
Resolvedgengh
Resolvedcmassaro
Resolvedcmassaro
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedDVrandecic
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedNone
ResolvedNone
Resolvedcmassaro
ResolvedDVrandecic
ResolvedLindsaykwardell
Resolvedarthurlorenzi
ResolvedNone
InvalidNone
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedgengh
Resolvedcmassaro
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedDVrandecic
Resolvedcmassaro
Resolvedarthurlorenzi
ResolvedAdesojiThisDot

Event Timeline

Jdforrester-WMF renamed this task from Implement Typed List to Make it possible to define the Typed List function fully.Jul 21 2021, 4:50 PM
Jdforrester-WMF removed DVrandecic as the assignee of this task.

Change 730937 had a related patch set uploaded (by DVrandecic; author: DVrandecic):

[mediawiki/services/function-schemata@master] Add a built-in function and composition for creating a typed list

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

Change 730937 merged by jenkins-bot:

[mediawiki/services/function-schemata@master] definitions: Add Z881/Typed list and its composition, Z981

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

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

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

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

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

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

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

Change 731743 merged by jenkins-bot:

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

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

Change 731742 merged by jenkins-bot:

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

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

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

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

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

Change 732049 merged by jenkins-bot:

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

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

Change 735462 had a related patch set uploaded (by DVrandecic; author: DVrandecic):

[mediawiki/services/function-schemata@master] Fixed the composition of Z981

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

Change 735462 merged by jenkins-bot:

[mediawiki/services/function-schemata@master] definitions: [Z981] Correct to use argument references, not strings

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

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

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

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

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

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

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

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

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

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

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

[mediawiki/extensions/WikiLambda@master] Add on-wiki example of a function call using a Typed List.

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

Change 737175 merged by jenkins-bot:

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

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

Change 737719 merged by jenkins-bot:

[mediawiki/extensions/WikiLambda@master] Add on-wiki example of a function call using a Typed List.

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

Change 737176 merged by jenkins-bot:

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

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

Change 737174 merged by jenkins-bot:

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

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