Shiro$B$G$9!#(B
From: Nobuo Yamashita <[EMAIL PROTECTED]>
Subject: [haskell:35] Re: $B;22C$7$^$9!#(B
Date: Tue, 07 May 2002 09:08:46 +0900 (JST)
> 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
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
--
ML: [EMAIL PROTECTED]
$B;H$$J}(B: http://QuickML.com/
