- fun select(L,f)=
= if L=nil then nil
= else if f(hd(L))=true then hd(L)::select(tl(L),f) else select(tl(L),f);
GC #0.0.0.0.1.6:   (10 ms)
val select = fn : ''a list * (''a -> bool) -> ''a list
- fun even(a)=if a mod 2 = 1 then false else true;
val even = fn : int -> bool
- fun selecteven(L)=select(L,even);
val selecteven = fn : int list -> int list
- selecteven([1,2,3,4,5,6,7,8,9]);
val it = [2,4,6,8] : int list
-