And this public foldr :: (a -> b -> b) -> b -> [a] -> b public foldr f z [] = z public foldr f z (x:xs) = f x (foldr f z xs) or is it public foldr :: (a -> b -> b) -> b -> [a] -> b foldr f z [] = z foldr f z (x:xs) = f x (foldr f z xs) and now things aren't lined up. Jared. On 2/24/06, Bulat Ziganshin wrote:

Hello Claus,

Friday, February 24, 2006, 7:53:09 PM, you wrote:

CR> public class C a CR> where CR> public m1 :: a CR> private m2 :: a -> String

please don't stop on this!

public map (private f) (public (private x:public xs)) = private (public f (private x)) `public :` private map (public f) (private xs)

-- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

-- http://www.updike.org/~jared/ reverse ")-:"

"Claus Reinke" writes:

you mean as in "public static void main(String[] args) { ..}" instead of "main args = .."?-) there are such languages, and I'm happy to say Haskell isn't one of them!

In my language Kogut the default everywhere (modules, objects) is public. I don't care what information hiding extremists would say. It's not painful if the default is public :-) There are definitions to override this: private {definitions} public {definitions} private => definitions public => definitions patterns: private pattern public pattern names: private name public name or alternatively Haskell-style module headers. There is also 'use' (Haskell's 'import') and 'reexport' (Haskell's 'import' but imported names are made public). I found myself using primarily 'private' on individual names, or module headers if the module export list is very short, or rarely 'private' over a region of definitions. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/