Re: Template Haskell

2003-01-06 Thread Yoann Padioleau
mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. ** Get Free. Be Smart. Simply use Linux and Free Software

Re: diff in Haskell: clarification

2002-11-22 Thread Yoann Padioleau
there is the perl version of the diff algorithm on CPAN that may be a better starting point than the C version. -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. ** Get Free. Be Smart. Simply use

Re: diff in Haskell: clarification

2002-11-22 Thread Yoann Padioleau
George Russell <[EMAIL PROTECTED]> writes: > Yoann Padioleau wrote: > > > > George Russell <[EMAIL PROTECTED]> writes: > > > > > > > > This is a well-known problem. The most helpful Web page I could find about it >is here: &g

Re: diff in Haskell: clarification

2002-11-22 Thread Yoann Padioleau
__ > Haskell mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personn

Re: Functional dependencies and Constructor Classes

2002-11-19 Thread Yoann Padioleau
Martin Sulzmann <[EMAIL PROTECTED]> writes: > Yoann Padioleau writes: > > nevertheless i found constructor class more elegant for many problems. > > Your solution is less elegant that the one using constructor classes. > > > > Yes, the current presentatio

Re: Functional dependencies and Constructor Classes

2002-11-18 Thread Yoann Padioleau
is not allowed, cause leads to undecidable type inference > > {- > instance (Fmap a b c d, Fmap e f a b) => Fmap e f c d >where fmap2 h = fmap2 (fmap2 h) > -} > > comp :: (Fmap fa1 fb1 fa fb, Fmap a b fa1 fb1) => > (a -> b) -> fa -> fb > comp h = fmap2 (fmap2 h) > > > > ___

Re: Pure File Reading (was: Dealing with configuration data)

2002-09-26 Thread Yoann Padioleau
Lars Lundgren <[EMAIL PROTECTED]> writes: > On 26 Sep 2002, Yoann Padioleau wrote: > > > Koen Claessen <[EMAIL PROTECTED]> writes: > > > > i find your idea very good. > > indeed for the library GetOpt, the argument of a program never change so it &g

Re: Pure File Reading (was: Dealing with configuration data)

2002-09-26 Thread Yoann Padioleau
e > - getting arguments > - getting environment variables > - downloading a webpage > - ... > > What do you think? > > Regards, > /Koen. > > -- > Koen Claessen > http://www.cs.chalmers.se/~koen > Chalmers University, Gothenburg, Sweden. > &

Re: slightly too(?) complex list pattern matching

2002-06-18 Thread Yoann Padioleau
e > to write more succinct versions? > > Thanks! > > - Hal > > -- > Hal Daume III > > "Computer science is no more about computers | [EMAIL PROTECTED] > than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume > > ___

Re: Student Programming Projects

2001-09-21 Thread Yoann Padioleau
a raytracer, a thing that many student like cos you can then play with it and describe your own scene, and that contest show that ocaml/haskell were really cool for doing graphism-related work. > > > hope this helps. I'm happy to provide more detail. -- Yoann Padioleau, INSA

Re: The future of Haskell discussion

2001-09-17 Thread Yoann Padioleau
#x27;m saying is that Haskell's standard abstraction facilities mean > that even in the IO monad your programming experience can > significantly better than that of a C programmer. (Of course your > experience can also be worse if you don't or can&#x