Nuprl Definition : eager-map-append

eager-map-append(f;as;bs) ==
  accumulate (with value L and list item a):
   eval x = f a in
   eval L' = L in
     [x / L']
  over list:
    as
  with starting value:
   bs)

Definitions occuring in Statement : list_accum: list_accum, cons: [a / b], callbyvalue: callbyvalue, apply: f a
Definitions occuring in definition : list_accum: list_accum, apply: f a, callbyvalue: callbyvalue, cons: [a / b]
FDL editor aliases : eager-map-append

Latex:
eager-map-append(f;as;bs) == accumulate (with value L and list item a): eval x = f a in eval L' = L in [x / L'] over list: as with starting value: bs) Date html generated: 2016_05_14-AM-06_28_48 Last ObjectModification: 2015_12_03-PM-02_06_13 Theory : list_0 Home Index