- Haskell-Cafe - Haskell.org

Finding a PID in Windows
by Alexandru Scvortov 22 Feb '09

22 Feb '09

Quick question. In Linux, if you want to find the PID of a process, you use getProcessID from System.Posix.Process. How do you do the same under Windows? I cannot find the equivalent function in System.Win32 and searching Google does not yield any useful results. Thanks.

2 1

instance MonadFix GenParser
by Paul Johnson 22 Feb '09

22 Feb '09

I want to write a parser for a Haskell-like type language. Amongst other things this means having a symbol table of top-level declarations. So for instance I want to be able to write in my type language: > type Foo = Bar Int > > data Bar a = Bar String a I can come up with a parser that identifies "Bar" in the type synonym as the name of another type. I could define a type to return from the parser which just has that as a string, but then I would have to write another data type which is essentially the same but replaces the string name with the actual data type, and a mapping function to use a symbol table to convert one into the other, like this: > data ParsedTypeExpr = ParsedTypeExpr {parsedBaseType :: String, parsedTypeArgs :: [String]} > > data TypeExpr = TypeExpr {baseType :: MyType, typeArgs :: [String]} > > convertTypeExpr :: (String -> MyType) -> ParsedTypeExpr -> TypeExpr I want to short-circuit this by looking up the definition of Bar in the parser. But that requires the symbol table to exist during the parse. I have to admit I haven't quite got my head around MonadFix yet, but if I understand it correctly I should be able to have a top level parser something like this: > parseDeclarations :: Parser [Declaration] > parseDeclarations = mdo > decls <- many ParseDeclaration symbols > let symbols = makeSymbolTable decls > return decls Unfortunately GenParser isn't an instance of MonadFix, so this won't work. Is there a good reason why GenParser can't be an instance of MonadFix? If not, what would the instance declaration be? Thanks, Paul.

2 2

Re: Haskell-Cafe Digest, Vol 66, Issue 71
by David Yoffe 22 Feb '09

22 Feb '09

Hi D.R Plotkin, There are some nice mailing lists in haskell.org, include HUGS --- On Sat, 2/21/09, haskell-cafe-request(a)haskell.org <haskell-cafe-request(a)haskell.org> wrote: From: haskell-cafe-request(a)haskell.org <haskell-cafe-request(a)haskell.org> Subject: Haskell-Cafe Digest, Vol 66, Issue 71 To: haskell-cafe(a)haskell.org Date: Saturday, February 21, 2009, 7:01 PM Send Haskell-Cafe mailing list submissions to haskell-cafe(a)haskell.org To subscribe or unsubscribe via the World Wide Web, visit http://www.haskell.org/mailman/listinfo/haskell-cafe or, via email, send a message with subject or body 'help' to haskell-cafe-request(a)haskell.org You can reach the person managing the list at haskell-cafe-owner(a)haskell.org When replying, please edit your Subject line so it is more specific than "Re: Contents of Haskell-Cafe digest..." Today's Topics: 1. controlling timeout for Network.Socket.connect - how? (Belka) 2. Stacking StateTs (Luis O'Shea) 3. Haskellers on Twitter! (Daniel Peebles) 4. Fwd: Re: [Haskell-cafe] speed: ghc vs gcc (Khudyakov Alexey) 5. Re: Fwd: Re: [Haskell-cafe] speed: ghc vs gcc (Bulat Ziganshin) 6. Re[3]: [Haskell-cafe] Re: speed: ghc vs gcc (Bulat Ziganshin) 7. Re: Re[3]: [Haskell-cafe] Re: speed: ghc vs gcc (Louis Wasserman) 8. Re: Re: speed: ghc vs gcc (Daniel Fischer) 9. Re[5]: [Haskell-cafe] Re: speed: ghc vs gcc (Bulat Ziganshin) 10. Re: Stacking StateTs (David Menendez) 11. Re[2]: [Haskell-cafe] Re: speed: ghc vs gcc (Bulat Ziganshin) 12. Re: Re[5]: [Haskell-cafe] Re: speed: ghc vs gcc (Louis Wasserman) 13. Re: Re[5]: [Haskell-cafe] Re: speed: ghc vs gcc (Sebastian Sylvan) 14. Re: Help using catch in 6.10 (John Meacham) 15. Re: Re[5]: [Haskell-cafe] Re: speed: ghc vs gcc (Louis Wasserman) 16. The community is more important than the product (Don Stewart) 17. Re: Re[5]: [Haskell-cafe] Re: speed: ghc vs gcc (Sebastian Sylvan) 18. Re: Re: speed: ghc vs gcc (Daniel Fischer) 19. Re[7]: [Haskell-cafe] Re: speed: ghc vs gcc (Bulat Ziganshin) 20. Template Haskell compilation error on Windows (was Re: speed: ghc vs gcc) (Peter Verswyvelen) ---------------------------------------------------------------------- Message: 1 Date: Sat, 21 Feb 2009 11:26:51 -0800 (PST) From: Belka <lambda-belka(a)yandex.ru> Subject: [Haskell-cafe] controlling timeout for Network.Socket.connect - how? To: haskell-cafe(a)haskell.org Message-ID: <22139581.post(a)talk.nabble.com> Content-Type: text/plain; charset=us-ascii Hello, communion people! I have a problem and ask for an advice. I'm dealing with sockets on *Linux* platform (Network.Socket). The problem is that I can't fully control timeout for (connect :: Socket -> SockAddr -> IO ()) operation. On my system the timeout is - 3 seconds - I want to be able to change that in run-time. Well I managed to find out how to make it LESS THAN 3 seconds - using System.Timeout. But how to make timeout bigger (for example 9 seconds) is a mystery. (Notice: in order to achieve 9 seconds timeout - just repeating *connect* 3 times won't be effective for long-slow-way-connections. So it's not a solution.) The source code of Network.Socket.connect, taken from darcs: --------------------------------- -- Connecting a socket -- -- Make a connection to an already opened socket on a given machine -- and port. assumes that we have already called createSocket, -- otherwise it will fail. -- -- This is the dual to $bindSocket$. The {\em server} process will -- usually bind to a port number, the {\em client} will then connect -- to the same port number. Port numbers of user applications are -- normally agreed in advance, otherwise we must rely on some meta -- protocol for telling the other side what port number we have been -- allocated. connect :: Socket -- Unconnected Socket -> SockAddr -- Socket address stuff -> IO () connect sock@(MkSocket s _family _stype _protocol socketStatus) addr = do modifyMVar_ socketStatus $ \currentStatus -> do if currentStatus /= NotConnected then ioError (userError ("connect: can't peform connect on socket in status " ++ show currentStatus)) else do withSockAddr addr $ \p_addr sz -> do let connectLoop = do r <- c_connect s p_addr (fromIntegral sz) if r == -1 then do rc <- c_getLastError case rc of 10093 -> do -- WSANOTINITIALISED withSocketsDo (return ()) r <- c_connect s p_addr (fromIntegral sz) if r == -1 then (c_getLastError >>= throwSocketError "connect") else return r _ -> throwSocketError "connect" rc else return r connectBlocked = do #if !defined(__HUGS__) threadWaitWrite (fromIntegral s) #endif err <- getSocketOption sock SoError if (err == 0) then return 0 else do ioError (errnoToIOError "connect" (Errno (fromIntegral err)) Nothing Nothing) connectLoop return Connected --------------------------------- I know that controlling timeout is somehow connected to select(2) (I'm currently investigating this matter...), but it's not in the Network or Network.Socket libs (but in the libs that they FFI with). Hope I won't have to rewrite these low-level functions.... >__< Could anybody, please share some experience on how to adjust timeout for *connect*? Thanks in advance, Best regards, Belka -- View this message in context: http://www.nabble.com/controlling-timeout-for-Network.Socket.connect---how-… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ------------------------------ Message: 2 Date: Sat, 21 Feb 2009 15:33:28 -0500 From: Luis O'Shea <loshea(a)gmail.com> Subject: [Haskell-cafe] Stacking StateTs To: haskell-cafe(a)haskell.org Message-ID: <3636FA2B-5BB1-47CC-B20F-85491A55E4F7(a)gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed I've been experimenting with the state monad and with StateT, and have some questions about how to combine one state with another. This email is literate Haskell tested on GHCi, version 6.10.1. Also, sigfpe's post on monad transformers (http://blog.sigfpe.com/2006/05/ grok-haskell-monad-transformers.html) was very helpful. > import Control.Monad.State My question is basically whether the function modifyT (below) makes sense, whether some form of it already exists in a standard library, and (most importantly) whether it actually indicates that I'm thinking about StateT all wrong. > modifyT :: Monad m => > (s -> StateT t m s) > -> StateT t (StateT s m) () > modifyT f = do > x <- get > y <- lift get > (y',x') <- lift $ lift $ runStateT (f y) x > lift $ put y' > put x' Some context may be useful, so here is how I ended up thinking I needed modifyT. The state monad makes it easy to write stateful computations. For example here is a computation that has an Integer as its state and returns a String: > test1 :: State Integer String > test1 = do > modify (+ 1) > a <- get > return $ "foobar" ++ (show a) If the computation wants to do some IO then it makes sense to start with the IO monad and then apply the StateT transformer to it: > test2 :: StateT Integer IO String > test2 = do > modify (+ 1) > a <- get > lift $ print a > return $ "foobar" ++ (show a) So from now on I won't actually do any IO and will replace IO with an arbitrary monad m. Also instead of the fixed string "foobar" I'll have it take a String as a parameter: > test3 :: Monad m => String -> StateT Integer m String > test3 s = do > modify (+ 1) > a <- get > return $ s ++ (show a) A nice feature of all this is that it is easy to combine these computations: > test4 :: Monad m => StateT Integer m (String,String) > test4 = do > s1 <- test3 "foo" > s2 <- test3 "bar" > return $ (s1,s2) Now seeing as test3 takes a String and returns another String you can imagine using it to transform a String state. (I'm also going to assume that test3 is in another library so we don't want to alter how it's written.) So here is how you could use test3 in a computation that has (String,Integer) as its state: > test5 :: (Monad m) => m Integer > test5 = do > (s1,x1) <- runStateT (test3 "") 0 > (s2,x2) <- runStateT (test3 s1) (2*x1 + 1) > (s3,x3) <- runStateT (test3 s2) (x2*x2) > return x3 Then running test5 >>= print gives 17. The problem with test5, of course, is that we have manually threaded the state, with all the problems that implies. For example nothing prevents you from erroneously misthreading the state: > test5bad :: (Monad m) => m Integer > test5bad = do > (s1,x1) <- runStateT (test3 "") 0 > (s2,x2) <- runStateT (test3 s1) (2*x1 + 1) > (s3,x3) <- runStateT (test3 s1) (x2*x1) > return x3 Running test5bad >>= print gives 5. Obviously we want operate in a State monad with more state. One way to do this is to stack two StateTs on top of m. This is, finally, where I need the modifyT that we defined above -- it lets us "lift" test3 to a function that modifies the state of the top *two* StateTs. Now let's use it to rewrite test5: > test6 :: (Monad m) => StateT Integer (StateT String m) Integer > test6 = do > modifyT test3 > modify $ \x -> 2*x + 1 > modifyT test3 > modify $ \x -> x*x > modifyT test3 > x <- get > return x > > test7 :: (Monad m) => m Integer > test7 = evalStateT (evalStateT test6 0) "" As expected, running test7 >>= print gives 17. So, given that modifyT seems to be useful, does it, or something like it, already exists in the standard libraries? More likely, am I making a mountain of a molehill and is there a better way to structure all this? Thanks, Luis > main = do > test5 >>= print > test5bad >>= print > test7 >>= print ------------------------------ Message: 3 Date: Sat, 21 Feb 2009 16:14:15 -0500 From: Daniel Peebles <pumpkingod(a)gmail.com> Subject: [Haskell-cafe] Haskellers on Twitter! To: haskell-cafe(a)haskell.org Message-ID: <b1a8a5050902211314y74edbf39h97dcfa3188f80a60(a)mail.gmail.com> Content-Type: text/plain; charset=UTF-8 Hi all, I liked Brian O'Sullivan's blog post on twitter (http://www.serpentine.com/blog/2008/12/05/functional-programmers-on-twitter/) so I moved the Haskell subset of his list (along with a couple of additions) onto the haskell wiki, to make it easier for people to update. You can find the page at http://haskell.org/haskellwiki/Twitter. Please update with yourself or any other Haskellers we may have missed. Cheers, Dan ------------------------------ Message: 4 Date: Sun, 22 Feb 2009 00:58:59 +0300 From: Khudyakov Alexey <alexey.skladnoy(a)gmail.com> Subject: Fwd: Re: [Haskell-cafe] speed: ghc vs gcc To: haskell-cafe(a)haskell.org Message-ID: <200902220058.59198.alexey.skladnoy(a)gmail.com> Content-Type: Text/Plain; charset="iso-8859-1" Oh I've again sent mail to wrong address ---------- Forwarded Message ---------- On Saturday 21 February 2009 02:42:11 you wrote: > On Sat, Feb 21, 2009 at 12:22 AM, Bulat Ziganshin > <bulat.ziganshin(a)gmail.com > > > wrote: > > > > Hello Khudyakov, > > > > Saturday, February 21, 2009, 2:07:39 AM, you wrote: > > > I have another question. Why shouldn't compiler realize that `sum > > > > [1..10^9]' > > > > > is constant and thus evaluate it at compile time? > > > > since we expect that compilation will be done in reasonable amount of > > time. you cannot guarantee this for list-involving computation > > it would be nice to have a compiler that can run forever, incrementally > generating faster and faster versions of the same program, until you press > a key or a timeout is reached. > > then you just let it run before you get to bed ;-) > > you could even pass it in a test data set to which it must be optimized; > after the program is compiled, the compiler runs and profiles it, measures > the results, and does another pass to make it faster. > I've just remembered another but related approach to optimization. It uses genetic algorithm to determine close to the best set of optimization options. Alternatively it could be used to find badly interacting options, pessimizations. Implementation for gcc is here: http://www.coyotegulch.com/products/acovea/ In fact I didn't tried it but I liked the idea. -- Khudaykov Alexey ------------------------------ Message: 5 Date: Sun, 22 Feb 2009 01:09:23 +0300 From: Bulat Ziganshin <bulat.ziganshin(a)gmail.com> Subject: Re: Fwd: Re: [Haskell-cafe] speed: ghc vs gcc To: Khudyakov Alexey <alexey.skladnoy(a)gmail.com> Cc: haskell-cafe(a)haskell.org Message-ID: <528706754.20090222010923(a)gmail.com> Content-Type: text/plain; charset=us-ascii Hello Khudyakov, Sunday, February 22, 2009, 12:58:59 AM, you wrote: >> you could even pass it in a test data set to which it must be optimized; >> after the program is compiled, the compiler runs and profiles it, measures >> the results, and does another pass to make it faster. it supported in gcc4 and icl at least > I've just remembered another but related approach to optimization. It uses > genetic algorithm to determine close to the best set of optimization options. afaik it used widely for tuning parameters of compression algorithms -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com ------------------------------ Message: 6 Date: Sun, 22 Feb 2009 02:21:09 +0300 From: Bulat Ziganshin <bulat.ziganshin(a)gmail.com> Subject: Re[3]: [Haskell-cafe] Re: speed: ghc vs gcc To: Louis Wasserman <wasserman.louis(a)gmail.com> Cc: haskell-cafe(a)haskell.org Message-ID: <989437740.20090222022109(a)gmail.com> Content-Type: text/plain; charset=us-ascii Hello Louis, Saturday, February 21, 2009, 4:16:10 AM, you wrote: > In the meantime, a brief summary: a minor correction: the best gcc result shown in the thread was 50x faster than Don's one, so you need to miltiple all ratios by a factor of 50 > Straightforward and simple Haskell code, written by an individual > aware of issues with tail recursion and stream fusion, is frequently > within 3x the speed of GCC code when compiled with appropriate > optimizations in GHC. yes, within 150x margin > When performance is an absolute necessity, > Haskell code can sometimes be manually modified (e.g. with manual > loop unrolls) to equal GCC in performance. yes, to make it only 50x slower while being only 7 times larger (i mean source lines) > Can we move on? yes, we can! :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com ------------------------------ Message: 7 Date: Sat, 21 Feb 2009 17:30:23 -0600 From: Louis Wasserman <wasserman.louis(a)gmail.com> Subject: Re: Re[3]: [Haskell-cafe] Re: speed: ghc vs gcc To: Bulat Ziganshin <Bulat.Ziganshin(a)gmail.com> Cc: haskell-cafe(a)haskell.org Message-ID: <ab4284220902211530k1690103ay1a31f437a2c521f4(a)mail.gmail.com> Content-Type: text/plain; charset="iso-8859-1" Observation: The best gcc result shown in the thread, if I recall, precomputed the result of the full computation at compiletime and simply outputted it, when we looked at the assembly. While I will accept that this could be seen as an optimization GHC should have made, I do not accept that this will be the case with most everyday code a programmer writes, as most code is not used to simply compute arithmetic constants. For code that actively requires computation at runtime, I have seen no examples of an instance where well-optimized GHC is actually dozens or hundreds of times slower than GCC output. Louis Wasserman wasserman.louis(a)gmail.com On Sat, Feb 21, 2009 at 5:21 PM, Bulat Ziganshin <bulat.ziganshin(a)gmail.com>wrote: > Hello Louis, > > Saturday, February 21, 2009, 4:16:10 AM, you wrote: > > > In the meantime, a brief summary: > > a minor correction: the best gcc result shown in the thread was 50x > faster than Don's one, so you need to miltiple all ratios by a factor > of 50 > > > Straightforward and simple Haskell code, written by an individual > > aware of issues with tail recursion and stream fusion, is frequently > > within 3x the speed of GCC code when compiled with appropriate > > optimizations in GHC. > > yes, within 150x margin > > > When performance is an absolute necessity, > > Haskell code can sometimes be manually modified (e.g. with manual > > loop unrolls) to equal GCC in performance. > > yes, to make it only 50x slower while being only 7 times larger (i > mean source lines) > > > Can we move on? > > yes, we can! :) > > > -- > Best regards, > Bulat mailto:Bulat.Ziganshin@gmail.com > >

1 0

Array use breaks when I make it unboxed?
by Phil 22 Feb '09

22 Feb '09

Hi, The code below compiles fine as it is, but if I change the import statement to: import Data.Array.Unboxed I get the following error: philip-beadlings-imac-g5:MonteCarlo phil$ ghc -O2 --make test.hs [2 of 5] Compiling InverseNormal ( InverseNormal.hs, InverseNormal.o ) InverseNormal.hs:28:38: No instance for (IArray a1 Double) arising from a use of `!' at InverseNormal.hs:28:38-40 Possible fix: add an instance declaration for (IArray a1 Double) In the first argument of `(*)', namely `c ! 1' In the first argument of `(+)', namely `c ! 1 * q' In the first argument of `(*)', namely `(c ! 1 * q + c ! 2)' ....and so on My understanding is that I should just be able to use them like-for-like? Anyone seen this before? Thanks, Phil. module InverseNormal where import Array a = listArray (1,6) [-3.969683028665376e+01, 2.209460984245205e+02, -2.759285104469687e+02, 1.383577518672690e+02, -3.066479806614716e+01, 2.506628277459239e+00] b = listArray (1,5) [-5.447609879822406e+01, 1.615858368580409e+02, -1.556989798598866e+02, 6.680131188771972e+01, -1.328068155288572e+01] c = listArray (1,6) [-7.784894002430293e-03, -3.223964580411365e-01, -2.400758277161838e+00, -2.549732539343734e+00, 4.374664141464968e+00, 2.938163982698783e+00] d = listArray (1,4) [7.784695709041462e-03, 3.224671290700398e-01, 2.445134137142996e+00, 3.754408661907416e+00] invnorm :: Double -> Double invnorm p | p < 0.02425 = let q = sqrt ( -2*log(p) ) in (((((c!1*q+c!2)*q+c!3)*q+c!4)*q+c!5)*q+c!6) / ((((d!1*q+d!2)*q+d!3)*q+d!4)*q+1) | p > (1-0.02425) = let q = sqrt ( -2*log(1-p) ) in -(((((c!1*q+c!2)*q+c!3)*q+c!4)*q+c!5)*q+c!6) / ((((d!1*q+d!2)*q+d!3)*q+d!4)*q+1) | otherwise = let q = p-0.5 r = q*q in (((((a!1*r+a!2)*r+a!3)*r+a!4)*r+a!5)*r+a!6)*q / (((((b!1*r+b!2)*r+b!3)*r+b!4)*r+b!5)*r+1)

2 3

ANNOUNCE: wxFruit-0.1.2
by Henk-Jan van Tuyl 22 Feb '09

22 Feb '09

L.S., I have updated wxFruit to work with GHC 6.10; it can be downloaded from Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wxFruit wxFruit is a graphical user interface that combines some of the power and versatility of wxHaskell with the elegance and simplicity of Fruit. The interface of wxFruit has a functional style, using arrows, whereas wxHaskell has an object oriented style. The package includes a demo game, PaddleBall: try to keep the ball in the game, using the mouse to move the paddle. The position of developer/maintainer is currently open. See also http://www.haskell.org/haskellwiki/WxFruit -- Regards, Henk-Jan van Tuyl -- http://functor.bamikanarie.com http://Van.Tuyl.eu/ --

2 1

Re[2]: [Haskell-cafe] Re: speed: ghc vs gcc
by Louis Wasserman 22 Feb '09

22 Feb '09

I am no longer sure that this conversation is producing useful information or a learning experience for any involved party, and suggest it ends. In the meantime, a brief summary: - Straightforward and simple Haskell code, written by an individual aware of issues with tail recursion and stream fusion, is frequently within 3x the speed of GCC code when compiled with appropriate optimizations in GHC. - When performance is an absolute necessity, Haskell code can sometimes be manually modified (e.g. with manual loop unrolls) to equal GCC in performance. - The amount of effort required for manually unrolling loops is greater than simply using standard GCC optimizations, and in practice few programmers will want to make this extra effort. For your everyday programmer, achieving that sort of performance is typically easier when writing in C. - If anybody wants a Haskell compiler to achieve GCC-level speeds while writing short and concise Haskell, it is preferable to add a ticket with examples already written out and exhaustively examined to minimize the effort Simon needs to make in working on the problem. GHC has had considerably fewer person-hours devoted to it than GCC, and only additional person-hours can improve it. - Even though it might not match with the amount of effort an average Haskell programmer would put into their code, it is *still* constructive to attempt to optimize Haskell code exhaustively and at a low level, if only to help us learn what sorts of transformations it would be useful for GHC to do automatically. This sort of information, I imagine, would be of significant use to Simon when attempting to improve GHC. Nobody is opining that everyday Haskell code will compile to code as speedy as GCC output. People *are* attempting to find out how Haskell code can be hacked at a low level to run as fast as GCC code, but not because they're claiming GHC output is as fast as GCC output. Rather, they're attempting to find out a) what sorts of approaches a really determined Haskell programmer can use to improve speed b) the sorts of optimizations a later version of GHC might be able to make, and c) what sort of code its optimizer might produce. This is not being reported as "fair Haskell vs C++ comparison" -- this is a collaborative effort to *improve* Haskell that was motivated by Bulat's original comparison. Can we move on? Louis Wasserman wasserman.louis(a)gmail.com

7 17

Template Haskell compilation error on Windows (was Re: speed: ghc vs gcc)
by Peter Verswyvelen 22 Feb '09

22 Feb '09

I tried to compile the template Haskell loop unrolling trick from Claus Reinke on my machine which is running Windows and GHC 6.10.1, and I got linker errors. (note that compiling *without* -fvia-C works fine) Compiling under Cygwin did not solve it. Any ideas how I could get this working? I have no experience with TH yet so I might be missing something essential... Thanks, Peter c:\temp>ghc -O2 -fvia-C -optc-O3 -fforce-recomp Apply.hs Apply.o:ghc6140_0.hc:(.text+0x7d): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarP_con_info' Apply.o:ghc6140_0.hc:(.text+0x10d): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0x19d): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarP_con_info' Apply.o:ghc6140_0.hc:(.text+0x571): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarP_con_info' Apply.o:ghc6140_0.hc:(.text+0x609): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0x6c9): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0x789): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0x82c): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_closure' Apply.o:ghc6140_0.hc:(.text+0x868): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_closure' Apply.o:ghc6140_0.hc:(.text+0x891): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarP_con_info' Apply.o:ghc6140_0.hc:(.text+0xd81): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarP_con_info' Apply.o:ghc6140_0.hc:(.text+0xe19): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0xed9): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0xf99): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarE_con_info' Apply.o:ghc6140_0.hc:(.text+0x103c): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_closure' Apply.o:ghc6140_0.hc:(.text+0x1078): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_closure' Apply.o:ghc6140_0.hc:(.text+0x10a1): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziSyntax_VarP_con_info' Apply.o:ghc6140_0.hc:(.text+0x14d0): undefined reference to `__stginit_templatezmhaskell_LanguageziHaskellziTHziSyntax_' Apply.o:ghc6140_0.hc:(.text+0x292): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_lamE_info' Apply.o:ghc6140_0.hc:(.text+0x6ab): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_info' Apply.o:ghc6140_0.hc:(.text+0x76b): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_info' Apply.o:ghc6140_0.hc:(.text+0x9bc): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_lamE_info' Apply.o:ghc6140_0.hc:(.text+0xebb): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_info' Apply.o:ghc6140_0.hc:(.text+0xf7b): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_a23_info' Apply.o:ghc6140_0.hc:(.text+0x11cc): undefined reference to `templatezmhaskell_LanguageziHaskellziTHziLib_lamE_info' C:\app\ghc-6.10.1/libHSrts.a(Main.o):Main.c:(.text+0x7): undefined reference to `__stginit_ZCMain' C:\app\ghc-6.10.1/libHSrts.a(Main.o):Main.c:(.text+0x36): undefined reference to `ZCMain_main_closure' collect2: ld returned 1 exit status >

2 2

Help using catch in 6.10
by Victor Nazarov 21 Feb '09

21 Feb '09

Hello, cafe. I whant to switch to GHC 6.10 My application compiled fine with 6.8.3, but after switchin to 6.10, I've got errors about usage of catch function: Main.hs:165:14: Ambiguous type variable `e2' in the constraint: `Exception e2' arising from a use of `catch' at Main.hs:165:14-38 Probable fix: add a type signature that fixes these type variable(s) Main.hs:261:17: Ambiguous type variable `e' in the constraint: `Exception e' arising from a use of `handle' at Main.hs:261:17-118 Probable fix: add a type signature that fixes these type variable(s) Relevant places in code are: ... getNSteps f = do text <- get entryNSteps entryText catch (readIO text >>= f) $ \_e -> do msgBox (Just window) [] MessageWarning ButtonsOk $ "Число шагов указано неверно: " ++ show text return () ... loadData :: IO ([Term], Map.Map String Term) loadData = do examples <- handle (\_e -> msgBox Nothing [] MessageWarning ButtonsOk "Ошибка чтения файла примеров" >> return []) $ do examplesLines <- fmap lines $ readFile "examples.txt" let parsings :: [Term] parsings = concatMap (fromEither . parse) examplesLines parse :: String -> Either ParseError Term parse = Parsec.parse (Lambda.parser >>= \t -> skipMany space >> eof >> return t) "" fromEither :: Either ParseError Term -> [Term] fromEither = either (const []) (\t -> [t]) return parsings ... -- Victor

4 3

Fwd: Re: [Haskell-cafe] speed: ghc vs gcc
by Khudyakov Alexey 21 Feb '09

21 Feb '09

Oh I've again sent mail to wrong address ---------- Forwarded Message ---------- On Saturday 21 February 2009 02:42:11 you wrote: > On Sat, Feb 21, 2009 at 12:22 AM, Bulat Ziganshin > <bulat.ziganshin(a)gmail.com > > > wrote: > > > > Hello Khudyakov, > > > > Saturday, February 21, 2009, 2:07:39 AM, you wrote: > > > I have another question. Why shouldn't compiler realize that `sum > > > > [1..10^9]' > > > > > is constant and thus evaluate it at compile time? > > > > since we expect that compilation will be done in reasonable amount of > > time. you cannot guarantee this for list-involving computation > > it would be nice to have a compiler that can run forever, incrementally > generating faster and faster versions of the same program, until you press > a key or a timeout is reached. > > then you just let it run before you get to bed ;-) > > you could even pass it in a test data set to which it must be optimized; > after the program is compiled, the compiler runs and profiles it, measures > the results, and does another pass to make it faster. > I've just remembered another but related approach to optimization. It uses genetic algorithm to determine close to the best set of optimization options. Alternatively it could be used to find badly interacting options, pessimizations. Implementation for gcc is here: http://www.coyotegulch.com/products/acovea/ In fact I didn't tried it but I liked the idea. -- Khudaykov Alexey

2 1

Haskell Weekly News: Issue 106 - February 21, 2009
by Brent Yorgey 21 Feb '09

21 Feb '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090221 Issue 106 - February 21, 2009 --------------------------------------------------------------------------- Welcome to issue 106 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements HWEB. Eric Macaulay, following a little [2]prodding by Neil Mitchell, has released version 0 of [3]HWEB, a small tool for producing literate Haskell programs. Cabal-1.6.0.2 and cabal-install-0.6.2. Duncan Coutts [4]announced point-releases of the Cabal library and the cabal-install command line tool. These releases include a number of fixes and minor improvements, and are expected to be included with ghc-6.10.2. Barrie 0.3.1. Fraser Wilson [5]announced a hackage release of [6]Barrie, an implementation of an idea for supporting state based, user-driven GUIs. Yogurt-0.3. Martijn van Steenbergen [7]announced the release of [8]Yogurt-0.3, a MUD client library for Haskell. This version improves over 0.2 in several ways, including support for GHC 6.10, no more unsafeCoerce needed, new support for forking threads, and various refactorings. wxFruit-0.1.2. Henk-Jan van Tuyl [9]announced an [10]update of [11]wxFruit, a graphical user interface that combines some of the power and versatility of wxHaskell with the elegance and simplicity of Fruit. The new version works with GHC 6.10, and also includes a demo game, PaddleBall. Interested parties, take note: the position of developer/maintainer for this library is currently open. Paper draft: "Denotational design with type class morphisms". Conal Elliott [12]announced a [13]draft of a new paper, "Denotational design with type class morphisms". Feedback is appreciated, especially if in time for the March 2 ICFP deadline. Crypto 4.2.0 & Related News. Creighton Hogg [14]announced the release of version 4.2.0 of the [15]Crypto library. Creighton will also betaking over maintenance of the library from Dominic Steinitz. The Typeclassopedia, and request for feedback. Brent Yorgey [16]announced a [17]first draft of an article entitled 'The Typeclassopedia', a "starting point for the student of Haskell wishing to gain a firm grasp of its standard type classes." Comments and feedback are encouraged! hslibsvm-2.88.0.1 - A FFI binding to LibSVM. S. Guenther [18]announced the [19]hlibsvm package, a set of Haskell bindings to the C++ [20]libsvm library. spacepart-0.1.0.0 (was called data-spacepart). Corey O'Connor [21]announced a new release of the [22]spacepart package, supporting space-partitioning data structures. The new release includes many bug fixes and some code cleanup. pqueue-mtl, stateful-mtl. Louis Wasserman [23]announced two new packages, [24]stateful-mtl and [25]pqueue-mtl. stateful-mtl provides an ST monad transformer, several useful operations on generic monad transformers, and a monad transformer intended to cleanly externally wrap operations on a mutable array (including resizing operations). pqueue-mtl provides implementations of several structures supporting a generic 'single-in, single-out' paradigm (encapsulated in a typeclass named Queuelike), including stacks, queues, and several implementations of priority queues. haha-0.1 - Animated ascii lambda. Sebastiaan Visser [26]announced [27]haha, a very minimal vector based ascii art library written just for fun. If you've always wanted to have a full-color rotating vector based ascii art lambda on your terminal, now is your chance! Discussion Darcs and Google Summer of Code. Eric Kow [28]floated the idea of having darcs apply to the Google Summer of Code as a separate mentoring organization, and discussed several ideas for student projects. Jobs Postdoctoral Research Position at Yale University. Paul Hudak [29]announced the availability of a postdoctoral research position at Yale University. The successful candidate will apply modern, high-level programming language ideas (such as embodied in Haskell) to help design and implement a language for the control of BGP-based network routers, with the goal of realizing high-level networking protocols for traffic engineering, security, and related networking concerns. Blog noise [30]Haskell news from the [31]blogosphere. * GHC / OpenSPARC Project: [32]Triage. * Manuel M T Chakravarty: [33]Mark your Haskell tweets with #haskell. * Gregg Reynolds: [34]Performance Economics. * Alex Mason: [35]AVar released (three times). * Sean Leather: [36]The strict danger of switching from pure to monadic Template Haskell. * Mads Lindstrom: [37]Using Mutable Arrays for Faster Sorting. * Conal Elliott: [38]Denotational design with type class morphisms. A draft of Conal's new paper. * Jesse Andrews: [39]Getting Tiled with XMonad. * happstack.com: [40]SOCALFP Presentation Slides: "Happstack is better than X". * Luke Palmer: [41]Dependent types are ridiculously easy. * GHC / OpenSPARC Project: [42]Thunderbirds are go. * Brent Yorgey: [43]Typeclassopedia---a generic response. * Alex Mason: [44]ASTM updates. * London Haskell Users Group: [45]Lemmih: LHC - past, present and future. * Eric Kow (kowey): [46]announcing: burrito tutorial support group. Laden with burrito tutorial guilt? The burrito tutorial support group can help. * Alex Mason: [47]ASTM: redundant STMish fun. * happstack.com: [48]Announcing the launch of the Patch-Tag blog. * Colin Ross: [49]XML parsing with Haskell. * Brent Yorgey: [50]The Typeclassopedia---request for feedback. * Sean Leather: [51]Incremental fold, a design pattern. * Manuel M T Chakravarty: [52]Comparison of type families with functional dependencies.. A nice summary comparison of these two Haskell language features. * Random permutations and sorting: [53]Heinrich Apfelmus. * A day with xmonad: [54]Colin Adams. * Antoine Latter: [55]MaybeT - The CPS Version. * Gregg Reynolds: [56]Intergalactic Telefunctors and Quantum Entanglement. * Gregg Reynolds: [57]In Praise of Elitism. * Dan Piponi (sigfpe): [58]Beyond Monads. A generalization of monads to parameterized monads. * Well-Typed.Com: [59]Cabal ticket #500. Quotes of the Week * KetilMalde: No, those are quite outdated by now. The new horsemen of the programming apocalypse are, of course, IO, MutableState, LazyMemoryLeak, and Bottom. * skorpan: i love the layout of lyah. makes me feel like having some chunky bacon. * lilac: * lilac looks forward to Cale explaining category theory by analogy to Call of Duty * byorgey: _|_ ... is a party pooper * idnar: enlarge your context in just seven days with all-natural herbal supplements! * mmorrow: gah, i'm so used to haskell i forgot a return stmt in C and was trying to figure out where the segfault was happening for 20 minutes About the Haskell Weekly News New editions are posted to [60]the Haskell mailing list as well as to [61]the Haskell Sequence and [62]Planet Haskell. [63]RSS is also available, and headlines appear on [64]haskell.org. To help create new editions of this newsletter, please see the information on [65]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [66]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://neilmitchell.blogspot.com/2009/01/small-scripts-with-haskell.html 3. http://mathmeth.com/eem/hweb/quickstart.shtml 4. http://www.haskell.org//pipermail/haskell-cafe/2009-February/056153.html 5. http://article.gmane.org/gmane.comp.lang.haskell.general/16882 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/barrie 7. http://article.gmane.org/gmane.comp.lang.haskell.general/16869 8. http://code.google.com/p/yogurt-mud/ 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53341 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wxFruit 11. http://www.haskell.org/haskellwiki/WxFruit 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53166 13. http://conal.net/papers/type-class-morphisms/ 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53029 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Crypto 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52964 17. http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52961 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hslibsvm 20. http://www.csie.ntu.edu.tw/~cjlin/libsvm/ 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52951 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/spacepart 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52920 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/stateful%2Dmtl 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pqueue%2Dmtl 26. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52865 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haha 28. http://www.haskell.org//pipermail/haskell-cafe/2009-February/056057.html 29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53103 30. http://planet.haskell.org/ 31. http://haskell.org/haskellwiki/Blog_articles 32. http://ghcsparc.blogspot.com/2009/02/triage.html 33. http://justtesting.org/post/80211621 34. http://syntax.wikidot.com/blog:10 35. http://axman6.homeip.net/blog/2009/02/avar-released.html 36. http://feedproxy.google.com/~r/splonderzoek/~3/sD_bp8yKBxc/strict-danger-of… 37. http://lindstroem.wordpress.com/2009/02/19/using-mutable-arrays-for-faster-… 38. http://conal.net/blog/posts/denotational-design-with-type-class-morphisms/ 39. http://overstimulate.com/articles/why-xmonad 40. http://blog.happstack.com/2009/02/18/socalfp-presentation-slides-happstack-… 41. http://lukepalmer.wordpress.com/2009/02/18/dependent-types-are-ridiculously… 42. http://ghcsparc.blogspot.com/2009/02/thunderbirds-are-go.html 43. http://byorgey.wordpress.com/2009/02/17/typeclassopedia-a-generic-response/ 44. http://axman6.homeip.net/blog/2009/02/astm-updates.html 45. http://www.londonhug.net/2009/02/17/lemmih-lhc-past-present-and-future/ 46. http://koweycode.blogspot.com/2009/02/announcing-burrito-tutorial-support.h… 47. http://axman6.homeip.net/blog/2009/02/astm-redundant-stmish-fun.html 48. http://blog.happstack.com/2009/02/16/announcing-the-launch-of-the-patch-tag… 49. http://vcolin.com/2009/02/16/xml-parsing-haskell/ 50. http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-fee… 51. http://feedproxy.google.com/~r/splonderzoek/~3/tj_MkKqIlkQ/incremental-fold… 52. http://justtesting.org/post/78667708 53. http://apfelmus.nfshost.com/random-permutations.html 54. http://colina.demon.co.uk/?q=node/534 55. http://panicsonic.blogspot.com/2009/02/maybet-cps-version.html 56. http://syntax.wikidot.com/blog:9 57. http://syntax.wikidot.com/blog:8 58. http://blog.sigfpe.com/2009/02/beyond-monads.html 59. http://blog.well-typed.com/2009/02/cabal-ticket-500/ 60. http://www.haskell.org/mailman/listinfo/haskell 61. http://sequence.complete.org/ 62. http://planet.haskell.org/ 63. http://sequence.complete.org/node/feed 64. http://haskell.org/ 65. http://haskell.org/haskellwiki/HWN 66. http://code.haskell.org/~byorgey/code/hwn/

1 0