131函数式编程语言简介 例2 letrec comp==nf.ng. xf(gx); F== 2x G== h==comp FG in(…)+F(…)+G(…) 函数可以作为函数的变元 函数也可以作为函数的结果 n元函数可作为高阶函数使用,当作用于m(m<n) 个变元时,结果是一个(n-m)元的函数13.1 函数式编程语言简介 • 例2 letrec comp == f .g. x. f (gx); F == x. …; G == z. …; h == comp F G in h( ... ) + F( ... ) + G( ... ) – 函数可以作为函数的变元 – 函数也可以作为函数的结果 – n元函数可作为高阶函数使用, 当作用于m (m < n) 个变元时，结果是一个( n − m )元的函数