- Haskell-Cafe - Haskell.org

Help with how to concatenate with own datatypes
by eldavido 11 Mar '11

11 Mar '11

Hi, I´m doing a project in haskell and I need to define an operator that concatenate some own defined data types, just like the operator ++ does for lists. I don´t see how to define the operator recursively since this adding function (:) doesn´t work on my own data types. This is my code: data Allele = Aone | Atwo deriving Show type Lifespan = Int data Population = Pop [(Allele,Allele,Lifespan)] deriving Show genepool :: Population genepool = Pop [] --can only concatenate 2 elements (+-) :: Population -> Population -> Population Pop [(a,b,c)] +- Pop [] = Pop [(a,b,c)] Pop [(a,b,c)] +- Pop [(d,e,f)] = Pop [(a,b,c),(d,e,f)] --and thats why this function goes non-exhaustive. gpinsertaoneaone :: Int -> Int -> Population gpinsertaoneaone 0 age = genepool gpinsertaoneaone n age = Pop [(Aone,Aone,70-age)] +- gpinsertaoneaone (n-1) age Thx for help and advice! -- View this message in context: http://haskell.1045720.n5.nabble.com/Help-with-how-to-concatenate-with-own-… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

2 2

ContT and ST stack
by Anakim Border 11 Mar '11

11 Mar '11

Dear list, I have the following (simplified) piece of code: find :: Int -> [Int] find i = runST . (`runContT` return) $ callCC $ \escape -> do return [] which used to compile correctly under GHC 6.12.3. Now that I've switched to 7.0.2 it gets rejected with the following error: Couldn't match expected type `forall s. ST s c0' with actual type `m0 r0' Expected type: ContT r0 m0 a0 -> forall s. ST s c0 Actual type: ContT r0 m0 a0 -> m0 r0 In the second argument of `(.)', namely `(`runContT` return)' In the expression: runST . (`runContT` return) I'm a little bit lost at what exactly is the problem. Anyone can suggest a solution? Thanks! AB

6 9

Convert a function to a string of operators?
by Evgeny Grablyk 11 Mar '11

11 Mar '11

Hello! I was wondering if it was possible to "convert" a function (which may also call functions) to a plain list of operators on parameters. Example: foo a b = a + b bar a b = a * b baw a b c = bar (foo a b) c baw' a b c = (a + b) * c Any way to get `baw'' from `baw'? Preferrably as a String. -- Evgeny

6 6

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?
by Carter Schonwald 11 Mar '11

11 Mar '11

to answer the question of the other poster, ghc 7.0.2 packaged installer, 64 bit build Jurrien, I wound up doing something similar, namely just wholesale copying the 10.5 sdk into the sdks folder. i'm still curious why this problem even exists! 2011/3/10 Jurriën Stutterheim <j.stutterheim(a)students.uu.nl> > I solved it by making a symlink from /Developer/SDKs/MacOSX10.6.sdk to > /Developer/SDKs/MacOSX10.5.sdk (which is missing with XCode 4). So far it > seems to work :) > > > Jurriën > > > On 10 Mar, 2011, at 06:53 , Carter Schonwald wrote: > > > after experimenting by just naively moving the old Developer directory > back to its original location preceding the installation of xcode 4, > everything builds properly now. > > > > still, this is not a reasonable long term solution. Any ideas about how > this might be fixed? > > > > On Thu, Mar 10, 2011 at 12:33 AM, Carter Schonwald < > carter.schonwald(a)gmail.com> wrote: > > Hey All, > > As of installing xcode 4 earlier today, > > > > i'm getting errors of the form > > ld: library not found for -lcrt1.10.5.o > > collect2: ld returned 1 exit status > > > > for any haskell code that invokes ld in its cabal install process. > > 1) is this related to some problem in xcode / what the haskell code > defaults to linking to? > > 2) is this something completely unrelated? > > > > thanks! > > -Carter > > > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > >

3 2

hsc2hs not figuring out #include paths?
by Edward Amsden 10 Mar '11

10 Mar '11

I'm trying to write some bindings using hsc2hs. At the top of my .hsc file, I have #include <jack/types.h> #include <jack/jack.h> When I compile a .c file with just these two lines in gcc, it works fine (the jack directory is in /usr/local/include). When I try to run hsc2hs, it complains that it cannot find the header files. Any ideas? How do I set the include path (via cabal or just in hsc2hs) for hsc2hs? -- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com

1 0

Parallel Haskell stories
by Simon Peyton-Jones 10 Mar '11

10 Mar '11

Friends I'm giving a talk at a developer conference in London on Friday 18th, about parallel programming in Haskell. http://skillsmatter.com/event/scala/functionalpx-2011/ad-1382 I know that some of you have been using Haskell for parallel or concurrent programming quite a bit, so this email is just to ask could you contribute a little vignette or story about using Haskell in a *parallel/concurrent* application that I could use to illustrate my talk? I can rant all I like about the glories of Haskell, but I'm a biased witness. It's much more convincing if I can illustrate with true tales from the trenches. I'm interested in both parallelism and concurrency, so for example the success of Warp in using Concurrent Haskell is in scope. I can't say a lot about any one example, obviously, but what would be great would be - an idea of how Haskell helped (esp if you have a head to head comparison) - code snippets that illustrate how lovely it all is - brief performance indicators *Insight* is the key word. I don't just want to say "Company X used Haskell to do Y" because that doesn't convey any re-usable insights or ideas. What is the essence? I'll start writing in earnest on Monday 14th; the talk is on Friday. I have plenty to say already, so treat this as an opportunity not an obligation. But still, examples would be good! Do let me know if you have one. Simon

5 5

Why don't my OS threads terminate?
by Bas van Dijk 10 Mar '11

10 Mar '11

Dear all, At work, I'm developing a webapplication with happstack. When I let it run for some time (< 5min.) it crashes with the following message: "failed to create OS thread: Resource temporarily unavailable" This happens because the server continuously creates OS threads but never terminates them. This keeps going on until I hit the OS thread limit. I would like to know why the OS threads are created and more importantly why they aren't terminated. Unfortunately I can't publish the source code because it's proprietary software. Hopefully the following description may give an idea what's going on: The webapplication is basically a simple measurement application: The client side (HTML, Javascript, JQuery) contains a plot which shows the measurements that the server generates. The client contains a loop which first longpolls[2] the server to wait for a new measurement, the server will then block (using takeMVar) until (using putMVar) a measurement is available. The client then retrieves the measurement from the server including all other relevant data. These requests all happen asynchronously using ajax calls[1]. The server starts by forking a thread which runs the measure loop. At each iteration the measure loop reads data from a file then fits that data to a model. For fitting I use my levmar fitting library[3]. The coefficients of the fitted model are then used to calculate a measurement. I believe the OS threads are created by my levmar library. This library uses bindings-levmar[4] which is a binding to a C library. bindings-levmar uses safe FFI calls because the levmar C procedures are reentrant (they need to call back into Haskell to execute the model function). I believe the RTS creates an OS thread for each safe FFI call. When I replace my levmar fit function with a function which just returns a random number the problem disappears. The problem also doesn't appear in a standalone application I have which just uses my levmar fit function to fit all the datafiles, without the webserver. It seems that the combination of happstack and levmar causes the OS threads to not terminate. I tried space profiling the application but that did not reveal anything interesting. I even used threadscope to look at the application eventlog (see: [5]) but that also looked normal. Hopefully someone can point me where to look next. Thanks, Bas [1] http://api.jquery.com/jQuery.ajax/ [2] http://en.wikipedia.org/wiki/Push_technology#Long_polling [3] http://hackage.haskell.org/package/levmar [4] http://hackage.haskell.org/package/bindings-levmar [5] http://bifunctor.homelinux.net/~bas/crash.eventlog

3 6

ANNOUNCE: cinvoke 0.1 released
by Remi Turk 10 Mar '11

10 Mar '11

I am happy to finally announce cinvoke 0.1, a binding to the C library cinvoke[1], allowing functions to be loaded and called whose names and types are not known before run-time. Why? Sometimes you can't use the Haskell foreign function interface because you parse the type of the function from somewhere else, i.e. you're writing an interpreter for a language that has an FFI itself. What? The main function it exports is: cinvoke :: Symbol -> RetType b -> [Arg] -> IO b And because code is worth a thousand words, here's a small program that uses libc to write a 1Gb buffer of random garbage to a file: > module Main where > > import Foreign.CInvoke > > main = do > cxt <- newContext > libc <- loadLibrary cxt "libc.so.6" > malloc <- loadSymbol libc "malloc" > creat <- loadSymbol libc "creat" > write <- loadSymbol libc "write" > free <- loadSymbol libc "free" > let sz = 2^30 > buf <- cinvoke malloc (retPtr retVoid) > [argCSize sz] > fd <- cinvoke creat retCInt [argString "/tmp/test", argCUInt 0o644] > n <- cinvoke write retCSize [argCInt fd, argPtr buf, argCSize sz] > cinvoke free (retPtr retVoid) [argPtr buf] It hopefully works on any machine on which cinvoke works, but has only been tested on linux x86_64. As the current version of cinvoke only installs a static library, it does not work from GHCi at the moment (without hacking cinvoke to build a shared library). More interesting examples are included in examples/ in the package. Where? Hackage: http://hackage.haskell.org/package/cinvoke Cheers, Remi [1] http://www.nongnu.org/cinvoke/

6 14

ANNOUNCE: Haskell Platform 2011.2 released!
by Don Stewart 10 Mar '11

10 Mar '11

We're pleased to announce the 2011.2 release of the Haskell Platform: a single, standard Haskell distribution for everyone. Download the Haskell Platform 2011.2.0.0: http://haskell.org/platform/ The specification, along with installers (including Windows, Apple and Unix installers for a full Haskell environment) are available. The Haskell Platform is a single, standard Haskell distribution for every system, in the form of a blessed library and tool suite for Haskell distilled from the thousands of libraries on Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. When you install the Haskell Platform, you get the latest stable compiler, an expanded set of core libraries, additional development tools, and cabal-install – so you can download anything else you need from Hackage. This release ships with GHC 7. What you get is specified here: http://hackage.haskell.org/platform/contents.html Thanks! -- The Platform Infrastructure Team P.S. a big thanks to Mark Lentczner and Mikhail Glushenkov who built the Mac and Windows installers!

1 0

Re: [Haskell-cafe] Parallel Haskell stories
by John Lato 10 Mar '11

10 Mar '11

From: Simon Peyton-Jones <simonpj(a)microsoft.com> > > Friends > > I'm giving a talk at a developer conference in London on Friday 18th, about > parallel programming in Haskell. > http://skillsmatter.com/event/scala/functionalpx-2011/ad-1382 > > I know that some of you have been using Haskell for parallel or concurrent > programming quite a bit, so this email is just to ask > > could you contribute a little vignette or story > about using Haskell in a *parallel/concurrent* application > that I could use to illustrate my talk? > I have a physical-model-based audio synthesis application I wanted to convert from an off-line renderer into a real-time engine. I decided upon a concurrent architecture with an interface thread, an engine thread, and an output thread, using STM for communication. It only took a couple hours to make the conversion, most of which was spent modifying the synthesis to work in blocks instead of a single run. I'm particularly happy with this snippet, where the engine collects input from the interface thread: readStrikeVar = do ct <- getCPUTime atomically $ rsv' ct `orElse` return [] -- if the read fails, return an empty list because we can't afford to wait. -- the strikes will eventually catch up... rsv' ct = do strikes <- readTVar tstrikes let carry = map (updateCarry blockdur) $ filter carryOver strikes writeTVar tstrikes carry writeTVar tsync ct return (reverse strikes) This code is the most complicated part of the communication scheme, nearly everything else is at the level of "readTVarIO". A nice feature is that the engine doesn't block waiting for the interface. If the transaction fails because the interface is updating the TVar, the engine moves ahead and can catch up later. On my dual-core macbook, performance is perhaps slightly disappointing compared to the offline renderer which is single-threaded and not parallelized. With one simulation the offline renderer will generate 5 seconds of audio in about 3.3seconds at 100% CPU usage, giving me the equivalent of 66% CPU over 5 seconds. The realtime renderer consistently occupies about 171% CPU for the same simulation. A different simulation has a runtime of 4.4 seconds and realtime usage of 191%. Of course there's going to be some overhead, but I hope to improve this by changing the way data is fed to the engine to a TChan, and also running threadscope to make sure threads yield at the proper times. Speaking of which, threadscope is an awesome tool and deserves a mention. John L.

1 0