Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread mgsloan
On 3/24/07, Vivian McPhail [EMAIL PROTECTED] wrote: I agree with Sven, but... What I want to push is a 'mathematically sound' numeric prelude. A proper numerical prelude should have bona fide mathematical obects like groups, rings, and fields underlying common numerical classes. It would be

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Claus Reinke
why do people insist that what they don't need has no right to live? also, there doesn't seem to be anything left in the Prelude itself, it just re-exports everything from one particular collection of modules. so the Prelude isn't really a useful target for complaints anymore, only the

Re: [Haskell-cafe] Link error in ALUT Hello, World

2007-03-25 Thread Sven Panne
On Sunday 25 March 2007 04:38, Nobuhito Mori wrote: [...] Though there are clearly link errors, I can not understand why it happens. By option -package ALUT, libalut.a (which made by pexports and dlltool because I do not know original alut.lib can be used by mingw) and other necessary

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Jacques Carette
Vivian McPhail wrote: What I want to push is a 'mathematically sound' numeric prelude. A proper numerical prelude should have bona fide mathematical obects like groups, rings, and fields underlying common numerical classes. It would be edifying to the student who discovered that the particular

Re: [Haskell-cafe] newbie concatenating monad question

2007-03-25 Thread Paul Johnson
Stefan O'Rear wrote: On Sat, Mar 24, 2007 at 08:05:25PM +, Paul Johnson wrote: strings, are instances of the Monoid class (i.e. they implement mplus in the way you would expect). You just have to wrap a function around Actually they don't. [EMAIL PROTECTED]:/tmp$ ghc-6.4.2 -v0

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Benja Fallenstein
Hi, (new here) 2007/3/25, Jacques Carette [EMAIL PROTECTED]: Some classes would become even more important: monoid, groupoid, semi-group, loop (semi-group with identity), etc. But all of those are, to the average programmer (and many a mathematician), just as scary as Monad. Of course, when

[Haskell-cafe] Re: Why the Prelude must die

2007-03-25 Thread Ian Lynagh
I've submitted: http://hackage.haskell.org/trac/haskell-prime/ticket/124 which I hope covers the essence of the result of this thread. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] What ever happened to Haskell 98 as a stable branch?

2007-03-25 Thread Andrzej Jaworski
If you answer because H98 is obsolete, then file this away as a must-read after H' is released Ideas always originate in a single mind. Good ideas are only footnotes to the best idea that determine them. Now: a team of people with different views on the same thing can achieve their best

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Claus Reinke
Vivian McPhail wrote: What I want to push is a 'mathematically sound' numeric prelude. A proper numerical prelude should have bona fide mathematical obects like groups, rings, and fields underlying common numerical classes. .. Some classes would become even more important: monoid, groupoid,

[Haskell-cafe] Re: Why the Prelude must die

2007-03-25 Thread David House
On 25/03/07, Ian Lynagh [EMAIL PROTECTED] wrote: I've submitted: http://hackage.haskell.org/trac/haskell-prime/ticket/124 which I hope covers the essence of the result of this thread. I'd hate to have to import things like Data.Function for such trivial functions as (.) and ($), which

[Haskell-cafe] Re: Why the Prelude must die

2007-03-25 Thread Ian Lynagh
[reply-to set; dropping libraries] On Sun, Mar 25, 2007 at 04:33:51PM +0100, David House wrote: On 25/03/07, Ian Lynagh [EMAIL PROTECTED] wrote: I've submitted: http://hackage.haskell.org/trac/haskell-prime/ticket/124 which I hope covers the essence of the result of this thread.

Mathematics in Haskell Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Jacques Carette
My main worry is that this can be a horrible time sink without a clear path to success and, worse, known obstacles in the way. For example: we know that all Monads are Functors, but that is not expressed in the type classes, because it would be too much a pain to do so. That pain is heavily

[Haskell-cafe] Re: Why the Prelude must die

2007-03-25 Thread David House
On 25/03/07, Ian Lynagh [EMAIL PROTECTED] wrote: You wouldn't have to import a number of different modules like Data.Function, you could just import Prelude. I guess what I was getting at was that Haskell is very good at blurring the distinction between userland function and actual syntax.

[Haskell-cafe] Re: Why the Prelude must die

2007-03-25 Thread Stefan O'Rear
On Sun, Mar 25, 2007 at 04:05:51PM +0100, Ian Lynagh wrote: I've submitted: http://hackage.haskell.org/trac/haskell-prime/ticket/124 which I hope covers the essence of the result of this thread. My goal of sparking thought was sucessful :) I like Claus Reinke's proposal, it solves

Re: [Haskell-cafe] Link error in ALUT Hello, World

2007-03-25 Thread Nobuhito Mori
Thanks for reply. I appreciate your minute explanation. I understand what is the problem more clearly. I added a detailed information of my installing OpenAL/ALUT and so on, to bug report Ticket #1243. Looking at the OpenAL and ALUT Haskell packages, I think that there are some

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Jason Creighton
On Sun, Mar 25, 2007 at 12:59:26AM -0400, [EMAIL PROTECTED] wrote: G'day all. Quoting Jason Creighton [EMAIL PROTECTED]: Wouldn't this be a non-issue if the map in Prelude was fmap? It would be a non-issue if a number of things were different, such as if Data.Map were a Functor and map

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Andrzej Jaworski
I don't think he would be confused with functor in SML. Call functors static classes and you cut the language from intuition. In such language anybody can express anything. But to arrive at something one needs intuition! Now, what mathematically blind programmers can gain from learning about

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread ajb
G'day all. Quoting Jason Creighton [EMAIL PROTECTED]: Data.Map is a Functor: [...] ...but perhaps it's not a Functor in some earlier version of the library? Possibly, if by earlier version you mean FiniteMap. At any rate, since Map is a Functor, I vote for Data.Map.map to be deleted. Any

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Neil Mitchell
Hi At any rate, since Map is a Functor, I vote for Data.Map.map to be deleted. Any disagreements before I submit the ticket? Yes. It will break 100's of applications. If you are going to do this, you probably need to propose it be marked as depreciated, and then deleted sometime years into

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread ajb
G'day all. Quoting Neil Mitchell [EMAIL PROTECTED]: Yes. It will break 100's of applications. That sounds like a challenge! Find me 100 applications that use Data.Map.map and I will eat crow. Cheers, Andrew Bromage ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Lennart Augustsson
I can contribute a few. On Mar 26, 2007, at 02:14 , [EMAIL PROTECTED] wrote: G'day all. Quoting Neil Mitchell [EMAIL PROTECTED]: Yes. It will break 100's of applications. That sounds like a challenge! Find me 100 applications that use Data.Map.map and I will eat crow. Cheers, Andrew

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Donald Bruce Stewart
ajb: G'day all. Quoting Neil Mitchell [EMAIL PROTECTED]: Yes. It will break 100's of applications. That sounds like a challenge! Find me 100 applications that use Data.Map.map and I will eat crow. Well, it'll break 100s of modules :-) $ find . -name '*.hs' -exec grep -l

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread David Brown
[EMAIL PROTECTED] wrote: G'day all. Quoting Neil Mitchell [EMAIL PROTECTED]: Yes. It will break 100's of applications. That sounds like a challenge! Find me 100 applications that use Data.Map.map and I will eat crow. Well, I haven't written 100s of applications (yet), but I get hits on

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread Neil Mitchell
Hi Yes. It will break 100's of applications. That sounds like a challenge! Find me 100 applications that use Data.Map.map and I will eat crow. http://www.google.com/codesearch?hl=enq=+lang:haskell+Map.mapstart=10sa=N Since most people import qualified Data.Map as Map. Not all of those are

Re: [Haskell-cafe] Why the Prelude must die

2007-03-25 Thread David Brown
David Brown wrote: [EMAIL PROTECTED] wrote: G'day all. Quoting Neil Mitchell [EMAIL PROTECTED]: Yes. It will break 100's of applications. That sounds like a challenge! Find me 100 applications that use Data.Map.map and I will eat crow. Well, I haven't written 100s of applications (yet),