Page MenuHomePhabricator

Make it possible to implement Map function
Closed, ResolvedPublic

Description

I want to create the function Map as described here:
https://en.wikipedia.org/wiki/Map_(higher-order_function)

Map takes a function and a list and returns a list where the function is applied to each element of the list. Here is the definition of Map:
https://notwikilambda.toolforge.org/wiki/ZObject:Z10044

The Implementation be given as:
If(Empty(list), Empty list, Cons(function(Head(list)), Map(function, Tail(list))))
https://notwikilambda.toolforge.org/wiki/ZObject:Z10045

There are several problems with this:

  1. the UX does not display the first argument of the Cons correctly
  2. the UX does not allow us to use a function that is an argument as a function call
  3. the orchestrator seems to not be able to work with recursion (see T286970)
  4. it is unclear if the orchestrator can use a function as an argument
  5. we need to use local keys here (see T266241)

Related Objects

StatusSubtypeAssignedTask
OpenNone
OpenNone
StalledNone
Resolvedcmassaro
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
DuplicateNone
OpenNone
Resolvedcmassaro
DeclinedNone
ResolvedNone
ResolvedNone
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
Resolvedgengh
ResolvedNone
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
Resolved AdesojiThisDot
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
ResolvedSimoneThisDot
ResolvedNone
InvalidNone
Invalidgengh
ResolvedDVrandecic
ResolvedDVrandecic
ResolvedDVrandecic
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolved JKieserman
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

Event Timeline

DVrandecic renamed this task from Cannot create implementation for Map function to Iimplementation for Map function.Jul 20 2021, 2:32 AM
DVrandecic renamed this task from Iimplementation for Map function to Implementation for Map function.Jul 20 2021, 2:36 AM
DVrandecic updated the task description. (Show Details)
DVrandecic moved this task from To triage to Phase ζ on the Abstract Wikipedia team board.
Jdforrester-WMF renamed this task from Implementation for Map function to Make it possible to implement Map function.Aug 10 2021, 6:00 PM