Nuprl Definition : ml-prodmap
ml-prodmap(f;as;bs) ==
fix((λprodmap,f,as,bs. if null(as) then [] else let a.more = as in ml-maprevappend(f(a);bs;prodmap(f)(more)(bs)) fi ))\000C(f)(as)(bs)
Definitions occuring in Statement :
ml-maprevappend: ml-maprevappend(f;as;bs),
spreadcons: spreadcons,
ml_apply: f(x),
null: null(as),
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,
ml-maprevappend: ml-maprevappend(f;as;bs),
ml_apply: f(x)
FDL editor aliases :
ml-prodmap
Latex:
ml-prodmap(f;as;bs) ==
fix((\mlambda{}prodmap,f,as,bs. if null(as)
then []
else let a.more = as
in ml-maprevappend(f(a);bs;prodmap(f)(more)(bs))
fi ))(f)(as)(bs)
Date html generated:
2017_09_29-PM-05_51_16
Last ObjectModification:
2017_05_19-PM-05_28_03
Theory : ML
Home
Index