Re: [Haskell-cafe] Aim Of Haskell

2006-12-14 Thread Mark Goldman
I have been keeping up with this thread. As a user of Haskell for comercial purposes, I can say that it does what I want. The only thing currently on my wish-list is some sort of run time debuging. (sometimes you want to know how you got to the empty list that you took the head of :) Anyhow, I

Re: [Haskell-cafe] Aim Of Haskell

2006-12-14 Thread Tomasz Zielonka
On Thu, Dec 14, 2006 at 03:03:51AM -0500, Mark Goldman wrote: I have been keeping up with this thread. As a user of Haskell for comercial purposes, I can say that it does what I want. The only thing currently on my wish-list is some sort of run time debuging. (sometimes you want to know how

Re: [Haskell-cafe] Mozart versus Beethoven (was: Writing Haskell For Dummies ...)

2006-12-14 Thread Kurt
If I remember my EWD's[1] right, whether or not composing music is similar to writing programs was not Dijkstra's point. I paraphrase (possibly from another EWD, can't be bothered to look it up): Computers, in their capacity as a tool, are highly overrated. Dijkstra was referring to the

RE: [Haskell-cafe] type variable question

2006-12-14 Thread Simon Peyton-Jones
| The commented out signature is the signature that GHC infers for the | function. When I uncomment that signature, it will no longer type | check. Why does this happen? Even with the forall and the explicit | signatures in the where clause, it chokes. This very question is one that came up only

Re: [Haskell-cafe] Building the community

2006-12-14 Thread Neil Mitchell
Hi * Give tips on how to answer questions + Ok. we can put up an article here. Some suggestions: - No questions are bad questions - Code should come with examples of how to run it - Solutions with unsafePerformIO should be

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least For People Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread Kurt
On Wed, 13 Dec 2006 17:18:31 +0100, Justin Bailey [EMAIL PROTECTED] wrote: On 12/12/06, Joachim Durchholz [EMAIL PROTECTED] wrote: Agreed. Something along the lines of The Art of Functional Programming. +1 . I would love to read something that is the equivalent of 'design patterns', but

[Haskell-cafe] Re: [Haskell] interpreter ouput in color

2006-12-14 Thread Neil Mitchell
Hi Walter, Hi all. I was wondering if some people miss the colored output of some applications, such like the IPython enhanced shell. I've been googling for similar options for Haskell but I found nothing. WinHugs already colours (to some degree) and hyperlinks error messages.

Re: [Haskell-cafe] Mozart versus Beethoven (was: Writing Haskell For Dummies ...)

2006-12-14 Thread Patrick Mulder
Another difference with music that strikes me is the level of abstraction : a note is a note. A line of code (especially in a imperative setting) is much more than a line of code. But this is exactly what semantics is about, or not? It is the question, when you have a set of symbols or

[Haskell-cafe] Re: Request for a Simple Pretty Printing library

2006-12-14 Thread Doaitse Swierstra
I am sorry, I might have confused you. It appears that we have just a function for doing what you want; in UU.Pretty.Basic there is a function invisible. From the manual page I quote: invisible ppd Makes the formatted element invisible (all its attributes are forgotten in order to always

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least For People Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread Kirsten Chevalier
On 12/13/06, Justin Bailey [EMAIL PROTECTED] wrote: On 12/12/06, Joachim Durchholz [EMAIL PROTECTED] wrote: Agreed. Something along the lines of The Art of Functional Programming. +1 . I would love to read something that is the equivalent of 'design patterns', but for functional languages. I

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least ForPeople Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread Claus Reinke
+1 . I would love to read something that is the equivalent of 'design patterns', but for functional languages.. I want to learn how to think functionally. If you want to learn how to think functionally, forget you ever heard the words design pattern. There shouldn't be patterns in your

Re: [Haskell-cafe] Building the community

2006-12-14 Thread Paul Moore
On 12/14/06, Neil Mitchell [EMAIL PROTECTED] wrote: Hi * Give tips on how to answer questions + Ok. we can put up an article here. Some suggestions: - No questions are bad questions - Code should come with examples of how to run it

Re: [Haskell-cafe] Re: Designing an object model in Haskell (RESOLVED)

2006-12-14 Thread Bulat Ziganshin
Hello John, Thursday, December 14, 2006, 6:13:56 AM, you wrote: I'm now using existential types.  I avoided learning about them because the name sounded so highly technical and obscure it did not occur to me they could be related to OO. look at

Re: [Haskell-cafe] Building the community

2006-12-14 Thread Alex Queiroz
Hallo, On 12/14/06, Paul Moore [EMAIL PROTECTED] wrote: But overall I'd agree, this is a very helpful community - it's just that you all seem so much cleverer than I, so I'm not sure I'll ever be smart enough to write Haskell programs :-) (50% joke...) I know the feeling. :-) -- -alex

[Haskell-cafe] Optimization again.

2006-12-14 Thread [EMAIL PROTECTED]
From GHC documentation: Once profiling has thrown the spotlight on the guilty time-consumer(s), it may be better to re-think your program than to try all the tweaks listed below. So, how should I rethink my program? Which way to take? ___

Re: [Haskell-cafe] Optimization again.

2006-12-14 Thread Donald Bruce Stewart
szefirov: From GHC documentation: Once profiling has thrown the spotlight on the guilty time-consumer(s), it may be better to re-think your program than to try all the tweaks listed below. So, how should I rethink my program? Which way to take? Do you have some particular code that is

Re: [Haskell-cafe] Building the community

2006-12-14 Thread Ross Paterson
On Thu, Dec 14, 2006 at 10:16:10AM +, Neil Mitchell wrote: I'd say our worst feature is tending to give solutions which are not simple Haskell, but make use of advanced features. When a beginner asks a question, sometimes the answer requires GADT's, Template Haskell, rank-2 types etc.

Re: [Haskell-cafe] Optimization again.

2006-12-14 Thread [EMAIL PROTECTED]
Donald Bruce Stewart wrote: szefirov: From GHC documentation: Once profiling has thrown the spotlight on the guilty time-consumer(s), it may be better to re-think your program than to try all the tweaks listed below. So, how should I rethink my program? Which way to take? Do you

Re: [Haskell-cafe] Optimization again.

2006-12-14 Thread Donald Bruce Stewart
szefirov: I profiled my program and found that residency looks pretty fixed but program memory usage grows and eventually I get heap overflow (on Windows) or heavy pagefile trashing (on Linux). When I turn on +RTS -c to use heap compaction I immediately get the following:

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least For People Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread isto
ke, 2006-12-13 kello 08:18 -0800, Justin Bailey kirjoitti: On 12/12/06, Joachim Durchholz [EMAIL PROTECTED] wrote: Agreed. Something along the lines of The Art of Functional Programming. +1 . I would love to read something that is the equivalent of 'design

Re[2]: [Haskell-cafe] Optimization again.

2006-12-14 Thread Bulat Ziganshin
Hello szefirov, Thursday, December 14, 2006, 5:24:11 PM, you wrote: When I turn on +RTS -c to use heap compaction I immediately get the following: - .exe: internal error: scavenge_mark_stack: unimplemented/strange this bug was fixed at Nov 15 so you should

Re: [Haskell-cafe] Optimization again.

2006-12-14 Thread Bulat Ziganshin
Hello szefirov, Thursday, December 14, 2006, 4:18:37 PM, you wrote: From GHC documentation: Once profiling has thrown the spotlight on the guilty time-consumer(s), it may be better to re-think your program than to try all the tweaks listed below. So, how should I rethink my program?

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least For People Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread Justin Bailey
Those are some great resources, thanks everyone! Justin ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Interpreter output in color

2006-12-14 Thread Malcolm Wallace
[EMAIL PROTECTED] (Donald Bruce Stewart) wrote: Currently, there is an existing tool, HsColour: http://www.cs.york.ac.uk/fp/darcs/hscolour/ Here's a mockup (the result of dumping ghci's output through HsColour): Have you tried just piping ghci through HsColour interactively? ghci

[Haskell-cafe] haskell.org memory upgrade

2006-12-14 Thread Paul Hudak
Dear Haskellers -- Haskell.org will go down today at 1500 EST for about 10 minutes for a memory upgrade. Sorry for the inconvenience, -Paul Hudak ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Re: Interoperating with Java

2006-12-14 Thread Artem Gr
Here is the announce I've made today to the haskell-jvm-bridge mailing list: http://sourceforge.net/mailarchive/forum.php?thread_id=31235407forum_id=8497 ghc-6.4.2 is currently the default version on both Linux and FreeBSD, so i think it's recent enough. I'm only starting to experiment with

Re: Re: [Haskell-cafe] Building the community

2006-12-14 Thread Nicolas Frisby
On 12/14/06, Ross Paterson [EMAIL PROTECTED] wrote: Absolutely. Some more questions of this type: How do I update a variable? How can I efficiently update an array? How do I get debugging output? How can I put different types of things in a list? Sometimes the

Re: [Haskell-cafe] Re: Aim Of Haskell

2006-12-14 Thread mm
Brian Hulley wrote: Yet I'm sure most people who did a computer science degree some decades ago remember the old joke about passing things by name or value for what it's Wirth... :-) Wikipedia says: “Whereas Europeans generally pronounce my name the right way ('Ni-klows Wirt'), Americans

Re: [Haskell-cafe] Re: Aim Of Haskell

2006-12-14 Thread Tomasz Zielonka
On Wed, Dec 13, 2006 at 12:17:08AM +0100, Joachim Durchholz wrote: Haskell needs... bullet-proof compilers, all of this working right out of the box. (I see that this all is being worked on.) Come on, C++ got popular in spite of having NO bullet-proof, let alone complete compilers. Two years

[Haskell-cafe] Re: Aim Of Haskell

2006-12-14 Thread Joachim Durchholz
Tomasz Zielonka schrieb: On Wed, Dec 13, 2006 at 12:17:08AM +0100, Joachim Durchholz wrote: Haskell needs... bullet-proof compilers, all of this working right out of the box. (I see that this all is being worked on.) Come on, C++ got popular in spite of having NO bullet-proof, let alone

Re: [Haskell-cafe] Re: Aim Of Haskell

2006-12-14 Thread Tomasz Zielonka
On Thu, Dec 14, 2006 at 09:56:57PM +0100, Joachim Durchholz wrote: OK, there's the option of replacing working tools with hype. It worked for C++, and it worked for Java. Pity I don't have the slightest idea how to work up a hype for Haskell. Who would want such a hype? Why not simply start

Re: [Haskell-cafe] Re: Aim Of Haskell

2006-12-14 Thread Joachim Breitner
Hi, Am Donnerstag, den 14.12.2006, 21:56 +0100 schrieb Joachim Durchholz: OK, there's the option of replacing working tools with hype. It worked for C++, and it worked for Java. Pity I don't have the slightest idea how to work up a hype for Haskell. IMHO, three is already a haskell hype,

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least For People Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread Donn Cave
On Thu, 14 Dec 2006, Kirsten Chevalier wrote: ... If you want to learn how to think functionally, forget you ever heard the words design pattern. There shouldn't be patterns in your programs. If there are, that means that either your language isn't providing you with enough abstractions or

Re: Re: [Haskell-cafe] Building the community

2006-12-14 Thread Conrad Parker
On 15/12/06, Nicolas Frisby [EMAIL PROTECTED] wrote: ... That's not to say it was the poster's fault: any question is a good question. I agree ... 2) The welcome to the mailing list message could say if you're new to Haskell, please check this FAQ first. I'm talking big letters here; I'd

[Haskell-cafe] Stack, Heap and GHC

2006-12-14 Thread Felix Breuer
Hello everyone, I have been trying to run a Haskell program of mine that does an extensive computation with very large amounts of data. I compiled the program with ghc --make. When I run it it terminates after some time with the message: Stack space overflow: current size 8388608 bytes. Use

Re: [Haskell-cafe] Stack, Heap and GHC

2006-12-14 Thread Brandon S. Allbery KF8NH
On Dec 14, 2006, at 10:00 , Felix Breuer wrote: 3) I tried using +RTS -Ksize as suggested, but these options do not seem to be passed through if I use --make. How can I use both, these compilation flags and --make? They aren't compile options; they're runtime options. The GHC runtime

Re: [Haskell-cafe] Stack, Heap and GHC

2006-12-14 Thread David Roundy
On Thu, Dec 14, 2006 at 04:00:53PM +0100, Felix Breuer wrote: Hello everyone, I have been trying to run a Haskell program of mine that does an extensive computation with very large amounts of data. I compiled the program with ghc --make. When I run it it terminates after some time with the

Re: [Haskell-cafe] Stack, Heap and GHC

2006-12-14 Thread David Roundy
On Thu, Dec 14, 2006 at 04:00:53PM +0100, Felix Breuer wrote: Hello everyone, I have been trying to run a Haskell program of mine that does an extensive computation with very large amounts of data. I compiled the program with ghc --make. When I run it it terminates after some time with the

[Haskell-cafe] Re: On improving libraries: wanted list

2006-12-14 Thread Wagner Ferenc
[EMAIL PROTECTED] (Donald Bruce Stewart) writes: Can't we do something like this, on top of System.Process? Do we need unix* stuff anymore? Hi, on my computer your code (with return ()-s inserted) works with at most 135168=132*1024 bytes of input: import System.Exit import System.IO

[Haskell-cafe] what are the points in pointsfree?

2006-12-14 Thread Steve Downey
i'm not naive enough to think they are the composition function, and i've gathered it has something to do with free terms, but beyond that i'm not sure. unless it also has something to do with fix points? ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] what are the points in pointsfree?

2006-12-14 Thread Justin Bailey
On 12/14/06, Steve Downey [EMAIL PROTECTED] wrote: i'm not naive enough to think they are the composition function, and i've gathered it has something to do with free terms, but beyond that i'm not sure. unless it also has something to do with fix points? The points are the arguments. The

Re: [Haskell-cafe] what are the points in pointsfree?

2006-12-14 Thread Donald Bruce Stewart
sdowney: i'm not naive enough to think they are the composition function, and i've gathered it has something to do with free terms, but beyond that i'm not sure. unless it also has something to do with fix points? The wiki knows all! :) http://haskell.org/haskellwiki/Pointfree 1 But

Re: Re: [Haskell-cafe] Building the community

2006-12-14 Thread Cale Gibbard
On 14/12/06, Conrad Parker [EMAIL PROTECTED] wrote: What [hackers] are, unapologetically, is hostile to people who seem to be unwilling to think or to do their own homework before asking questions. People like that are time sinks — they take without giving back, and they waste time we

Re: [Haskell-cafe] what are the points in pointsfree?

2006-12-14 Thread Andrew Wagner
Here, I think an examples worth a thousand poierr, words. This one comes from YAHT. Consider the two implementations of the following function: lcaseLetters :: String - String lcaseLetters s = map toLower (filter isAlpha s) lcaseLetters :: Strint - String lcaseLetters = map toLower . filter

[Haskell-cafe] Re: what are the points in pointsfree?

2006-12-14 Thread Steve Downey
the wiki wasn't half as clear. other tham covering the first half, that it doesn't mean the '.' function. so pointsfree is a step beyond leaving the domain unspecified. my reading knowledge of haskell at this point far exceeds my ability to write haskell. but so far, it has seemed to me that

Re: [Haskell-cafe] Stack, Heap and GHC

2006-12-14 Thread Donald Bruce Stewart
felix: Hello everyone, I have been trying to run a Haskell program of mine that does an extensive computation with very large amounts of data. I compiled the program with ghc --make. When I run it it terminates after some time Did you compile with -O (optimisations). Sometimes this fixes

Re: [Haskell-cafe] Stack, Heap and GHC

2006-12-14 Thread Neil Mitchell
Hi Did you compile with -O (optimisations). Sometimes this fixes things, and its just good practice. It's slower to compile, and might fix things in GHC Haskell, but other compilers don't all have -O flags, so its generally best to make your program at least have the right sort of time/space

[Haskell-cafe] Cabal licence files

2006-12-14 Thread Dougal Stanton
The cabal setup recognises a small set of licences which I don't think are well explained. I'm trying to put together a canonical list for setting up new projects. GPL: http://www.gnu.org/licenses/gpl.txt LGPL: http://www.gnu.org/licenses/lgpl.txt Thankfully the FSF are particularly anal^W

[Haskell-cafe] Well-typed functions with nonexisting signatures [Was: type variable question]

2006-12-14 Thread oleg
Nicolas Frisby wrote The commented out signature is the signature that GHC infers for the function. When I uncomment that signature, it will no longer type check. Why does this happen? Even with the forall and the explicit signatures in the where clause, it chokes. Alas, this is the property

Re: [Haskell-cafe] Re: what are the points in pointsfree?

2006-12-14 Thread ajb
G'day all. Quoting Steve Downey [EMAIL PROTECTED]: from what you just told me, it's not an artifact of the pf style, but that maximally reusable functions will be expressible in a pointsfree style. Not necessarily. (There's a fairly obvious reductio ad absurdum argument as to why: at least

Re: [Haskell-cafe] Re: Writing Haskell For Dummies Or At Least For People Who Feel Like Dummies When They See The Word 'Monad'

2006-12-14 Thread ajb
G'day all. Quoting Donn Cave [EMAIL PROTECTED]: Well, maybe not Patterns, but wouldn't there be important skills relating to patterns in a more general sense? Like fold, for example, seems to be a pattern, with several standard implementations and no doubt countless others to suit