[haskell:39] Re: =?iso-2022-jp?B?GyRCOzIyQyQ3JF4kOSEjGyhC?=

[Nobuo Yamashita]

nobsun $B$G$9!#(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
> [..]
> > pall :: [a -> Bool] -> (a -> Bool)
> > pall = foldr pand (const True)
> > 
> > pany  :: [a -> Bool] -> (a -> Bool)
> > pany  = foldr por (const False)
> 
> $B$J$k$[$I$%!#$3$&$$$&$N$r8+$F$7$^$&$H(BScheme$B$G$b(Bcurry$B2=$7$?$/(B
> $B$J$j$^$9$M$(!#(B

$B$G$7$g$&!#(B^o^ ($B@'Hs!*(B)

> Scheme$B$G$b(Bfold$B$O(BSRFI-1$B$K$"$k$N$G!"(B
> 
> (define (pand p q) (lambda (x) (and (p x) (q x))))
> (define (pall pl)  (fold pand (lambda (x) #t) pl))
> 
> $B$H=q$1$^$9$,!"$I$&$;(Blambda$B$r=q$/$J$i(B
> 
> (define (pall pl)
>   (lambda (x)
>     (fold (lambda (p r) (and r (p x))) #t pl)))
> 
> $B$H$7$F$7$^$$$=$&$J5$$,$7$^$9!#(B

$B4X?t7?$N%9%?%$%k$G$N%i%$%V%i%j$r:n$k>l9g$K$O!"(Bpall $B$d(B pany 
$B$r:n$k$3$H$h$j(B
$B$`$7$m!"(Bpand $B$d(B por 
$B$N$h$&$J%3%s%S%M!<%?$rDj5A$9$k$3$H$,http://QuickML.com/