$B$d$^$7$?(B $B$G$9!#(B

> Shiro$B$G$9!#$=$&$+!D(B $BF|K\$O%4!<%k%G%s%&%#!<%/$J$s$G$9$M!#(B

$B$9$C$+$j%\%1$F$^$9!#(B(^^;)

> $B$H$3$m$G!"!V=R8l$N%;%C%H$,M?$($i$l$?;~!"0z?t$KBP$7A4$F$N=R8l$,(B
> $B??$rJV$9$+$I$&$+$rH=Dj$9$k=R8l$r:n$k!W$H$$$&$N$O$+$J$jIQHK$K(B
> $B=P$FMh$k%Q%?!<%s$@$H;W$$$^$9!#(BScheme$B$J$i(B
> 
> (define (foo list-of-pred)
>   (lambda (x)
>     (every (lambda (p) (p x)) list-of-pred)))
> 
> Haskell$B$J$i(B
> 
> foo :: [a -> Bool] -> a -> Bool
> foo l x = all (\y -> y x) l

$B;d$b$3$N;EMM$N4X?t$r$h$/=q$/5$$,$7$^$9!#(B
$B$3$l$O0U30$J$3$H$K!"(BHaskell $BI8=`$N%i%$%V%i%j$K$O$J$$$h$&$G$9!#(B

> Haskell$B3&$G$O$3$s$J4X?t$N!VDL>N!W$_$?$$$J$b$N$O$"$k$G$7$g$&$+!#(B
> $B$?$H$($P9-$/;H$o$l$F$$$k%i%$%V%i%j$G$NL>A0$H$+!"%F%-%9%H$K(B
> $BNc$H$7$F=P$FMh$?L>A0$H$+!#(B

$BL>A0IU$1$N47=,$O;d$b$h$/$7$i$J$$$G$9!#(B

$B$G$9$,!"%i%$%V%i%j$r:n$k$J$i!"=R8l%3%s%S%M!<%?(B

pand, por :: (a -> Bool) -> (a -> Bool) -> (a -> Bool) 
pand p q x = p x && q x
por  p q x = p x || q x

$B$rDj5A$7$F(B

pall :: [a -> Bool] -> (a -> Bool)
pall = foldr pand (const True)

pany  :: [a -> Bool] -> (a -> Bool)
pany  = foldr por (const False)

$B$H$+$9$k$N$,4X?t7?$N%i%$%V%i%j$N0l$D$NN.57$H$7$F$"$k$h$&$K;W$$$^$9!#(B

--nobsun



--
ML: [EMAIL PROTECTED]
$B;H$$J}(B: http://QuickML.com/

メールによる返信