- Haskell-Cafe - Haskell.org

500 great lines of Haskell code?
by Isaac Jones 06 Oct '04

06 Oct '04

This might be an interesting way to highlight the beauty and brevity of Haskell. Has anyone written a great 500-line Haskell program they want to submit? peace, isaac http://developers.slashdot.org/article.pl?sid=04/10/06/1530218&tid=156&tid=8 "Be part of the Open Source Annual 2005 and enter our hacker contest for the best 500-line open source program. The best program will be printed in next year's issue of the book. Following lasts year's huge success with our Open Source Annual, a mostly German reader concerned with the various aspects of open source, we are currently busy compiling the second edition of the annual which will be released next March for the CeBIT 2005 in Hannover. Aside from articles on subjects like economics, law and open innovation, to name but a few, we plan to print the source code of an open source software program."

1 0

Re: [Haskell-cafe] Integrating Haskell into a J2EE environment
by Paul Hudak 06 Oct '04

06 Oct '04

Ok, I understand. I don't know much at all about J2EE, in fact! I would just hate to see an interesting project be abandoned if all that is needed is a simple way to invoke the Haskell code with a string argument, say. Perhaps Shoeb can tell us more about what he needs. -Paul Doug Kirk wrote: > Yes, I agree, and didn't mean to write off Haskell (at which, I'm > completely a newbie, trying to learn, and thankful for your book!). > > However, I'm a Java pro, and there are many technical issues on the Java > side that scream at me to keep out of the native arena, especially in a > J2EE container environment, where funny things can happen with hot > reloads (dumping old ClassLoaders for new ones), clustering, and the like. > > So it wasn't out of denigration of Haskell that I made my > recommendation; far from it...from what I've seen Haskell is perfect for > implementing DSL's. Rather, from the Java side is where it becomes > problematic. There have been many problems integrating with native > libraries from within a J2EE container, and I try to seek the most > cost-effective way (I'm an independent consultant) to get the problem > solved for my customers. > > --doug > > On Oct 6, 2004, at 2:59 PM, Paul Hudak wrote: > > I wouldn't write off Haskell so quickly. All of what Shoeb describes > concerning DSL issues might be much more easily solved in Haskell, and > will certainly be more flexible than a hard-wired approach. The J2EE > interface might be ugly, but if the functionality needed is not too > great it might not be too bad. Generally speaking, these kinds of apps > -- in this case "a DSL for high-level business rules" -- sounds like > just the sort of thing that Haskell is good for. > > -Paul

1 0

What Functions are Standard?
by John Goerzen 06 Oct '04

06 Oct '04

Hello, I have been writing code using the docs over at http://www.haskell.org/ghc/docs/latest/html/libraries/index.html, which is the only comprehensive library reference I could find. I am using some code from System.IO, supposedly from base. When I try to build this with nhc98, it doesn't know about hGetBuf, hPutBuf, or openBinaryFile from there or about mallocForeignPtrArray from the Foreign.* area. But all these look standard to me. What am I missing here? Does nhc98 really completely lack the ability to read binary data from a file? Or where should I be finding it, and how could I have known for myself that those particular ghc functions were unsupported elsewhere? -- John Goerzen Author, Foundations of Python Network Programming http://www.amazon.com/exec/obidos/tg/detail/-/1590593715

3 4

How do I get a long iteration to run in constant space
by W M 06 Oct '04

06 Oct '04

Hi, I'm starting to learn haskell, and I was considering it for a simulation I've been designing, but I ran into this problem with a simple numerical calculation. The attached program is supposed to solve a stiff differential equation, and you have to use a very small stepsize and lots of steps to resolve the part of the solution near a singularity. It looks to me like this program should run in constant space because the iterate2 function is tail-recursive, but when I run it on hugs or ghc 2.6.1, I get an error that it runs out of stack space on the third calculation. (And the quick fix is to give it a flag that increases the stack, but if I'm to use haskell for a potentially large and long simulation, I can't afford to let it run for three days only to get an error and figure out that it needs more stack space than the computer can give.) I suppose in my ODE example it's building up expressions somewhere for lazy evaluation, so I've tried putting seq and $! in various places. I have another example where using "else seq x (iterate2 ...)" helps, but that doesn't solve my problem here. I've also tried -O but it doesn't help. Can anyone give me some idea as to what to do? Thanks, -wgm iterate2 f x n = if n == 0 then x else iterate2 f (f x) (n - 1) integrate step f xInit xFinal yInit nSteps = let h = (xFinal - xInit) / fromIntegral nSteps next = step f h in iterate2 next (xInit, yInit) nSteps rk4Next f h (x, y) = let a1 = h * f x y a2 = h * f (x + h/2) (y + a1/2) a3 = h * f (x + h/2) (y + a2/2) a4 = h * f (x + h) (y + a3) in (x + h, y + a1/6 + a2/3 + a3/3 + a4/6) rk4 = integrate rk4Next stiff x y = -( ((exp (x - 1)) + (x - 1) * y) / (1 - x - 0.0001 * y) ) main = do putStr "Begin\n" putStr (show (rk4 stiff 0 1 (exp (-1)) 1000)) putStr "\n" putStr (show (rk4 stiff 0 1 (exp (-1)) 10000)) putStr "\n" putStr (show (rk4 stiff 0 1 (exp (-1)) 100000)) putStr "\n" __________________________________ Do you Yahoo!? Yahoo! Mail - You care about security. So do we. http://promotions.yahoo.com/new_mail

6 6

Including registered packages for GHC using Eclipse
by Geoff C 05 Oct '04

05 Oct '04

Howdy, This list says that rank amateurs can post here. One has arrived :-! I am just getting going with Haskell and Eclipse both, and cannot figure out how to include a package with Eclipse. I am on Win2kPro using GHC 6.2.1, wxHaskell 0.8, and Eclipse 3.0.1. Since I have just recently downloaded all of these, they should all be the latest of the stable versions. The package I am using is wxHaskell. I can go to the samples directory and type: ghc helloworld.hs -package wx -o test ...and I get a successful compilation with an executable named test.exe that runs just fine. In Eclipse, I have no problem generating executables for short Haskell programs from my tutorial (YAHT) that use the console for output, but it cannot find the wx package. I have rename the file HelloWorld.hs to main.hs in my attempts to compile. The module tries to import Graphics.UI.WX but fails. I tried going to Window->Preferences->'FunctionalProgramming-> Haskell->Compiler->GHCCompiler, and in the "ghc Executable" field, changing "ghc" to "ghc -package wx", but as soon as I start typing, the grayed out text box below says: java.io.IOException: CreateProcess: "ghc " --version error=2 java.io.IOException: CreateProcess: "ghc " --print-libdir error=2 ...and the compiler still cannot find module Graphics.UI.WX. (Not surprising, eh :-?) I believe I successfully added the directory "c:\program files\wxhaskell-0.8\bin" in Projects->Properties->ImportLibraries, but it didn't do anything. (I suppose that is for DLLs anyway, but I was trying everything I could think of before asking.) I removed it though, and now clicking on Add in that dialog doesn't seem to do anything. I thought I would ask, because although I have been told on the "FP for Eclipse" website that it is very much a work-in-progress, I figure that importing packages would have been implemented long before we got syntax coloring. Sorry this turned out so long, Thank you, -- Geoff C

2 2

RE: [Haskell-cafe] Exceptions
by Simon Peyton-Jones 05 Oct '04

05 Oct '04

Actually GHC does exactly that when you compile with -prof -auto-all. Then if you run with +RTS -xc, you get a backtrace of sorts. (I have not tested this recently!) The backtrace is not yet reified into a data structure that can be examined, but that'd be quite doable if someone wanted to try. The downside is that -prof makes many optimisations work less well, and all modules must be compiled this way. Simon | -----Original Message----- | From: haskell-cafe-bounces(a)haskell.org [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of MR | K P SCHUPKE | Sent: 01 October 2004 18:29 | To: alastair(a)reid-consulting-uk.ltd.uk; haskell-cafe(a)haskell.org | Cc: k.schupke(a)imperial.ac.uk; jgoerzen(a)complete.org | Subject: Re: [Haskell-cafe] Exceptions | | >But, being able to see the context in which a thunk was constructed would be | >extremely useful. | | Yes of course... I was thinking along the lines of what is possible, rather | than what is desirable. If only ghc had a -g (debug) flag like gcc that would | force each funtion to push its entry onto some kind of call stack that would | be returned by exceptions... | | Keean. | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe

3 2

Re: [Haskell-cafe] Optmiization of recursion
by Jon Cast 04 Oct '04

04 Oct '04

Fergus Henderson <fjh-mailbox-18(a)galois.com> held forth: > On 28-Sep-2004, John Goerzen <jgoerzen(a)complete.org> wrote: > > As I'm investigating Haskell, it's occured to me that most of the > > Haskell tutorials out there have omitted something that was quite > > prominent in the OCaml material I had read: making functions properly > > tail-recursive. > > > > The OCaml compiler was able to optimize tail-recursive functions such > > that they could be compiled using a loop. This would achieve two main > > benefits: performance due to not needing to allocate/deallocate stack > > frames, and the ability to work on very large lists since each recursive > > call did not consume extra stack space. <snip> > If analyzing the performance and space usage of your programs is > important, then Haskell may not be the best choice of language. I disagree. If performance and space usage are sufficiently important, Haskell may not be best. But it's really not that much easier to analyze performance or space usage under strict languages. In either case, the golden rule is: profile. Reading the source code will tell you very little. Jon Cast p.s. Of course, I know that reading the source code tells you very little about strict languages and nothing about lazy ones. But in both cases it is overwhelmingly dominated by profiling.

2 1

Predicate logic (FOL) reasoning in Haskell
by Graham Klyne 04 Oct '04

04 Oct '04

I was recently passed this reference, which I thought was worthy of sharing here... I've not yet read it myself in detail, but at a glance it looks very readable. http://staff.science.uva.nl/~bcate/core/rwt.pdf [[ Reasoning with Tableaux Jan van Eijck CWI and ILLC, Amsterdam, Uil-OTS, Utrecht ... The paper contains the full Haskell [5] code of a free variable tableau theorem prover for predicate logic, written in `literate programming' style. ]] #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact

1 0

Re: [Haskell-cafe] Exceptions
by Dominic Steinitz 02 Oct '04

02 Oct '04

I'd be cautious about using exceptions too liberally. When I implemented a Haskell equivalent to traceroute, I wanted to stop sending packets when a certain condition occurred. It was very tempting to throw an exception and catch it at the top level. However, I think the code below is easier for the maintainer (me) to understand. Dominic. sequenceWhile_ :: Monad m => (a -> Bool) -> [m a] -> m () sequenceWhile_ p [] = return () sequenceWhile_ p (x:xs) = x >>= \c -> if (p c) then sequenceWhile_ p xs else return ()

1 0

Compiling GHC for AIX5.1L
by John Goerzen 01 Oct '04

01 Oct '04

Hello, Following the directions at http://www.haskell.org/ghc/docs/6.2.1/html/building/sec-porting-ghc.html#UN…... I have a Debian unstable system on i386 as the host machine and an IBM PowerPC system as the target. I have configured the files as specified in the docs. I am to the "make boot && make" phase in the ghc directory on the (Linux) host. All goes well until: ==fptools== make all -r; in /home/jgoerzen/no-backup/programs/ghc-6.2.1/ghc/rts ------------------------------------------------------------------------ ../../ghc/compiler/ghc-inplace -optc-O -optc-Wall -optc-W -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Waggregate-return -optc-Wbad-function-cast -optc-I../includes -optc-I. -optc-Iparallel -optc-DCOMPILING_RTS -optc-fomit-frame-pointer -H16m -O -O2 -static -c Adjustor.c -o Adjustor.o /tmp/ghc10917.s: Assembler messages: /tmp/ghc10917.s:54: Error: no such instruction: `dcbf 0,%eax' /tmp/ghc10917.s:55: Error: no such instruction: `sync' /tmp/ghc10917.s:56: Error: no such instruction: `icbi 0,%eax' /tmp/ghc10917.s:63: Error: no such instruction: `sync' /tmp/ghc10917.s:64: Error: no such instruction: `isync' make[1]: *** [Adjustor.o] Error 1 make: *** [all] Error 1 Why it's trying to use PowerPC assembler on an x86 host I don't know. (I assume that's what's going on here; but I don't really know.) What is the problem?

2 5