Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types
Closed, DeclinedPublic
Actions

Assigned To

None

Authored By

	cmassaro
	Sep 20 2021, 5:17 PM

Description

Z22 -> { 'Z1K1': 'Z7', 'Z7K1': 'Z10022', 'Z22K1': 'Z1', 'Z22K2': 'Z1' }

And Z10022 should be a type parametrized by types, returning a Z4.

In this way, the existing syntax ( { 'Z1K1': 'Z22', 'Z22K1': <Z1>, 'Z22K2': <Z1> } ) will continue to work.

Let's do likewise with Z10.

Related Objects
Search...

		Status	Subtype	Assigned	Task
		Declined		None	T291413 Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types
		Resolved		DVrandecic	T291035 Function model: Z10 should be a function that takes a type and returns a type

Event Timeline

cmassaro created this task.Sep 20 2021, 5:17 PM

Jdforrester-WMF renamed this task from Add Z10022/Z10010 (or something) as Built-In Functions; Point Z22/Z10 to Generic Type Instantiations to Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types.Sep 22 2021, 4:31 PM

DVrandecic moved this task from To triage to Phase η – Generic types on the Abstract Wikipedia team board.Sep 22 2021, 4:31 PM

DVrandecic edited projects, added Abstract Wikipedia team (Phase η – Generic types); removed Abstract Wikipedia team.

DVrandecic triaged this task as Low priority.Sep 22 2021, 4:47 PM

Jdforrester-WMF moved this task from Incoming to Needs discussion/DoD on the Abstract Wikipedia team (Phase η – Generic types) board.Oct 25 2021, 11:35 PM

Jdforrester-WMF added a subtask: T292789: Store Z10 on Wiki as a Z7 -> ZList(Z1).Oct 26 2021, 12:04 AM

DVrandecic moved this task from Needs discussion/DoD to Ready to do on the Abstract Wikipedia team (Phase η – Generic types) board.Oct 27 2021, 4:35 PM

Jdforrester-WMF edited projects, added Abstract Wikipedia team (Phase κ – Clean-up); removed Abstract Wikipedia team (Phase η – Generic types).Mar 1 2022, 8:11 PM

gengh closed subtask T292789: Store Z10 on Wiki as a Z7 -> ZList(Z1) as Resolved.Jul 18 2022, 1:53 PM

Jdforrester-WMF edited subtasks, added: T291035: Function model: Z10 should be a function that takes a type and returns a type; removed: T292789: Store Z10 on Wiki as a Z7 -> ZList(Z1).Jul 18 2022, 1:54 PM

Jdforrester-WMF moved this task from Incoming to Nice-to-haves on the Abstract Wikipedia team (Phase κ – Clean-up) board.Oct 24 2022, 8:33 PM

Jdforrester-WMF moved this task from Phase κ – Clean-up to To triage: Nice-to-haves on the Abstract Wikipedia team board.Nov 7 2022, 5:42 PM

Jdforrester-WMF edited projects, added Abstract Wikipedia team; removed Abstract Wikipedia team (Phase κ – Clean-up).