Re: [Haskell-cafe] Re: Why Haskell?

2006-08-15 Thread Johan Tibell
While having a single standardised library is a nice goal, I think a first step would be to highlight the current state and pros and cons of the various options. Perhaps we could at least have wiki pages with recommendations? So that a potential user of some particular functionality - whether

[Haskell-cafe] Re: map and fmap

2006-08-15 Thread Duncan Coutts
On Tue, 2006-08-15 at 12:38 +0200, John Hughes wrote: One thing I've observed repeatedly is that many students in later years, who learned functional programming early, have a strong impression that functional languages are only suitable for toy programs. Of course, that's because in their

Re: [Haskell-cafe] type gurus, can you please help?

2006-08-15 Thread Gabriel Dos Reis
Bulat Ziganshin [EMAIL PROTECTED] writes: [...] | Moreover, Haskell type classes supports inheritance. Run-time | polymorphism together with inheritance are often seen as OOP | distinctive points, so during long time i considered type classes as a | form of OOP implementation. but that's wrong!

[Haskell-cafe] Nice cygwin application to be used with ghci

2006-08-15 Thread MaurĂ­cio
Hi, I've just uploaded a package ('rlwrap') to cygwin that I like to use with ghci. You can use it like this: rlwrap ghcii.sh and then you will use ghci as if it were readline aware (i.e., you can press up arrow to get last typed lines etc.). 'rlwrap' is very stable and I never had

[Haskell-cafe] Genetic programming Haskell

2006-08-15 Thread MaurĂ­cio
Hi, Does anyone know of a package for genetic programming for Haskell? I tried some links from Haskell wiki and some I found on google, and found many interesting papers, but none of them pointed to downloadable code. Does anyone know where can I find a good implementation (even an

[Haskell-cafe] The Q Programming Language can do symbolic manipulation -- Haskell?

2006-08-15 Thread Casey Hawthorne
The Q Programming Language can do symbolic manipulation -- Haskell? The Q Programming Language can do the following: sqr X = X*X ==sqr 5 25 ==sqr (X+1) (X+1)*(X+1) Can Haskell do symbolic manipulation? Or are term-rewriting and the lambda calculus sufficiently far enough apart concepts? --

Re: [Haskell-cafe] The Q Programming Language can do symbolic manipulation -- Haskell?

2006-08-15 Thread Lemmih
On 8/16/06, Casey Hawthorne [EMAIL PROTECTED] wrote: The Q Programming Language can do symbolic manipulation -- Haskell? The Q Programming Language can do the following: sqr X = X*X ==sqr 5 25 ==sqr (X+1) (X+1)*(X+1) Can Haskell do symbolic manipulation? Or are term-rewriting and the