Nuprl Definition : ml-map
ml-map(f;l) == fix((λmap,f,l. if null(l) then [] else let a.as = l in [f(a) / map(f)(as)] fi ))(f)(l)
Definitions occuring in Statement :
spreadcons: spreadcons,
ml_apply: f(x),
null: null(as),
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi ,
fix: fix(F),
lambda: λx.A[x]
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
null: null(as),
nil: [],
spreadcons: spreadcons,
cons: [a / b],
ml_apply: f(x)
FDL editor aliases :
ml-map
Latex:
ml-map(f;l) == fix((\mlambda{}map,f,l. if null(l) then [] else let a.as = l in [f(a) / map(f)(as)] fi ))(f)(\000Cl)
Date html generated:
2017_09_29-PM-05_50_55
Last ObjectModification:
2017_05_10-PM-06_34_34
Theory : ML
Home
Index