- Haskell-Cafe - Haskell.org

Printing a random list
by Bryan Catanzaro 09 Jun '08

09 Jun '08

I'm just starting out with Haskell, and I could use some help. I'm trying to create a random list and print it out, which seems simple enough, but has been giving me problems. Here's what I have: module Main where import IO import Random randomList :: Random a => a -> a-> [IO a] randomList lbound ubound = randomRIO(lbound, ubound) : randomList lbound ubound main = do myRandomList <- sequence(randomList(0::Int 255)) putStrLn(show(take(10 myRandomList))) ----- So, I have tried to make a randomList action which defines an infinite random list, bounded by lbound and ubound. It seems that to print this, I need to convert between randomList, which is of type [IO a] to something like IO [a], which is what sequence should do for me. Then I just want to print out the first 10 elements. I'm currently getting the error "Only unit numeric type pattern is valid", pointing to 0::Int 255 in the code. I'm not sure what this means. I'm sure I'm looking at this the wrong way, since I'm new to Haskell and haven't quite wrapped my head around it yet. Maybe you can fix the problem by showing me a more Haskell approach to creating a random list and printing it... =) Thanks! - bryan catanzaro

3 3

Patrick Perry's BLAS package
by Alberto Ruiz 09 Jun '08

09 Jun '08

Hello all, I have just noticed that yesterday this fantastic package has been uploaded to hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/blas-0.4 We finally have a high quality library for numeric linear algebra. This is very good news for the Haskell community. Patrick, many thanks for your excellent work. Do you have similar plans for LAPACK? Alberto

5 8

Issues of the "mailto" link on the list archive page
by Xiao-Yong Jin 08 Jun '08

08 Jun '08

Hi, I had private conversation with Andrzej Jaworski about the fact that his reply to Alberto Ruiz's post is off thread. What he did was clicking on the "mailto" link beside the author's name on the list archive web page [1]. [1] http://www.haskell.org/pipermail/haskell-cafe/2008-June/044023.html I am not quite sure about what this link is supposed to do. But, if it is meant for people to click and reply to the thread, it is not doing this correctly, as the "Subject" and "In-Reply-To" fields in the link are obtained from these fields in the head of current email. It would be useful if the link shows "Subject" with an added "Re: " if there is not already one, and fill in the "in-Reply-To" field with the value from the "Message-Id" field of current email head. An optional "Reference" field is informative for most of the email client, too. Sorry if this topic has the least connection to the glorious Haskell. Best, Xiao-Yong -- c/* __o/* <\ * (__ */\ <

2 1

Data.Map traversal.
by Serguey Zefirov 08 Jun '08

08 Jun '08

I found that I often need predecessor and successor of some key in Data.Map.Map. Just like that: predKey, succKey :: Ord k => Data.Map.Map k a -> k -> Maybe k predKeyElem, succKeyElem :: Ord k => Data.Map.Map k a -> k -> Maybe (k,a) Data.Map has operations like that on key indexes, but it is slightly unnatural to work with three entities (index, key and element) where two suffices. So I propose to include those operations into next version of Data.Map. If anyone could point me in the right direction I could do any necessary modifications myself (just because I need it).

2 1

Mersenne Build Problem
by Dominic Steinitz 08 Jun '08

08 Jun '08

I'm getting errors (see below) trying to build the tests in http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mersenne-random-… I built the package itself using ./Setup configure -f use_sse2 I thought I had an intel core duo (also see below). I think I may be missing a library but I'm not sure which one. Thanks, Dominic. > dom@lagrange:~/mersenne-random-0.1.1> cat /proc/cpuinfo > processor : 0 > vendor_id : GenuineIntel > cpu family : 6 > model : 15 > model name : Intel(R) Core(TM)2 Duo CPU E4500 @ 2.20GHz > stepping : 13 > cpu MHz : 1200.000 > cache size : 2048 KB > physical id : 0 > siblings : 2 > core id : 0 > cpu cores : 2 > fdiv_bug : no > hlt_bug : no > f00f_bug : no > coma_bug : no > fpu : yes > fpu_exception : yes > cpuid level : 10 > wp : yes > flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl est tm2 ssse3 cx16 xtpr lahf_lm > bogomips : 4392.14 > clflush size : 64 > > processor : 1 > vendor_id : GenuineIntel > cpu family : 6 > model : 15 > model name : Intel(R) Core(TM)2 Duo CPU E4500 @ 2.20GHz > stepping : 13 > cpu MHz : 1200.000 > cache size : 2048 KB > physical id : 0 > siblings : 2 > core id : 1 > cpu cores : 2 > fdiv_bug : no > hlt_bug : no > f00f_bug : no > coma_bug : no > fpu : yes > fpu_exception : yes > cpuid level : 10 > wp : yes > flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl est tm2 ssse3 cx16 xtpr lahf_lm > bogomips : 4388.99 > clflush size : 64 > dom@lagrange:~/mersenne-random-0.1.1/tests> make > ghc -O2 -ddump-simpl-stats -no-recomp Unit.hs --make > [1 of 1] Compiling Main ( Unit.hs, Unit.o ) > > ==================== FloatOut stats: ==================== > 154 Lets floated to top level; 35 Lets floated elsewhere; from 40 Lambda groups > > > > ==================== FloatOut stats: ==================== > 133 Lets floated to top level; 14 Lets floated elsewhere; from 34 Lambda groups > > > > ==================== Grand total simplifier statistics ==================== > Total ticks: 8378 > > 2022 PreInlineUnconditionally > 1760 PostInlineUnconditionally > 991 UnfoldingDone > 132 RuleFired > 1 *# > 15 +# > 25 ++ > 1 <# > 3 ==#->case > 2 SC:a0 > 1 SC:a_s2sW0 > 1 SPEC GHC.Num.- > 2 SPEC GHC.Real.$p1Integral > 2 SPEC GHC.Real.$p1Real > 2 SPEC GHC.Real.$p2Real > 3 SPEC Main.speed > 3 SPEC System.Random.random > 1 eftInt > 9 fold/build > 14 foldr/app > 1 fromIntegral/Word->Int > 1 int2Double# > 1 int2Word# > 3 map > 2 mapList > 1 minimumInt > 2 remInt# > 2 take > 2 takeList > 17 unpack > 6 unpack-append > 9 unpack-list > 212 LetFloatFromLet > 1 EtaReduction > 2874 BetaReduction > 27 CaseOfCase > 341 KnownBranch > 3 CaseElim > 2 CaseIdentity > 13 FillInCaseDefault > 22 SimplifierDone > > > Linking Unit ... > Unit.o: In function `s4Da_info': > (.text+0x1b21): undefined reference to `genrand_real2' > Unit.o: In function `s4RA_info': > (.text+0x3e75): undefined reference to `genrand_real2' > Unit.o: In function `s4S4_info': > (.text+0x3f61): undefined reference to `genrand_real2' > Unit.o: In function `s5su_info': > (.text+0x40bc): undefined reference to `genrand_real2' > /usr/local/lib/mersenne-random-0.1.1/ghc-6.9.20080517/libHSmersenne-random-0.1.1.a(Mersenne.o): In function `mersennezmrandomzm0zi1zi1_SystemziRandomziMersenne_zdwa2_info': > ghc13223_0.hc:(.text+0x1a3): undefined reference to `gen_rand64_mix' > /usr/local/lib/mersenne-random-0.1.1/ghc-6.9.20080517/libHSmersenne-random-0.1.1.a(Mersenne.o): In function `s2J1_info': > ghc13223_0.hc:(.text+0x91d): undefined reference to `gen_rand64_mix' > /usr/local/lib/mersenne-random-0.1.1/ghc-6.9.20080517/libHSmersenne-random-0.1.1.a(Mersenne.o): In function `s2JZ_info': > ghc13223_0.hc:(.text+0xb3d): undefined reference to `genrand_real2' > /usr/local/lib/mersenne-random-0.1.1/ghc-6.9.20080517/libHSmersenne-random-0.1.1.a(Mersenne.o): In function `s2LJ_info': > ghc13223_0.hc:(.text+0xf8d): undefined reference to `gen_rand64_mix' > /usr/local/lib/mersenne-random-0.1.1/ghc-6.9.20080517/libHSmersenne-random-0.1.1.a(Mersenne.o): In function `s35i_info': > ghc13223_0.hc:(.text+0x1397): undefined reference to `genrand_real2' > /usr/local/lib/mersenne-random-0.1.1/ghc-6.9.20080517/libHSmersenne-random-0.1.1.a(Mersenne.o): In function `s36A_info': > ghc13223_0.hc:(.text+0x1517): undefined reference to `gen_rand64_mix' > collect2: ld returned 1 exit status > make: *** [all] Error 1

3 3

Newbie Q: Overloading and type classes
by Dmitri O.Kondratiev 08 Jun '08

08 Jun '08

{-- I try to define class Store that will group types implmenting different storage mechanisms . All types should support two functions: 1) put (key, value) pair into storage 2) get value from storage corresponding to the given key As an example I start with the following storage types: --} -- simple memory cell data OneCell k v = Cell(k, v) -- list of cells data CellList k v = CLst [(k, v)] {-- First, without grouping these types into any class, just to illustrate what these types should do, I define the following functions: --} {-- put::(k, v) -> OneCell k v -> OneCell k v put (k1, v1) (Cell(k, v)) = Cell(k1, v1) get :: Eq k => k -> OneCell k v -> Maybe v get k (Cell (_, v)) = Just v c1 ::OneCell String Int c1 = Cell("one", 1) putLst :: (k,v) -> CellList k v -> CellList k v putLst (k,v) (CLst xs) = CLst ((k,v) : xs) getLst :: Eq k => k -> CellList k v -> Maybe v getLst k (CLst xs) = lookup k xs cl1 = CLst [("one",1),("two",2),("three",3)] --} {-- These work as expected. Now I try to define Store class that should allow me to overload put & get functions: --} class Store s where put :: Eq k => (k, v) -> s -> s get :: k s -> Maybe v {-- instance Store OneCell where put (k1, v1) (Cell(k, v)) = Cell(k1, v1) get k (Cell (_, v)) = Just v --} {-- I get the following error: `OneCell' is not applied to enough type arguments Expected kind `*', but `OneCell' has kind `* -> * -> *' In the instance declaration for `Store OneCell' --} instance Store CellList where put (k,v) (CLst xs) = CLst ((k,v) : xs) get k (CLst xs) = lookup k xs {-- I get the following error: `CellList' is not applied to enough type arguments Expected kind `*', but `CellList' has kind `* -> * -> *' In the instance declaration for `Store CellList' --} What should I do to create Store class? Thanks! -- Dmitri O. Kondratiev dokondr(a)gmail.com http://www.geocities.com/dkondr

2 4

[ANN] Bindings to Xen Control (xenctrl.h)
by Thomas M. DuBuisson 08 Jun '08

08 Jun '08

All, I'm just getting started with hsXenCtrl [1] as both a fun way to play with Xen and become proficient with Haskell FFI. Once I get my community.haskell.org account squared away I'll likely setup a public darcs repo (and a homepage somewhere). As for modules: I intend to expand on the trival FFI bindings in System.Xen.CBindings and there'll be a higher level interface in System.Xen (functions will standardize on returning Either or throwing exceptions, hiding the xc_handle open/close, etc). Typical Disclaimers: The _only_ thing I've actually done with this, just tonight, is pause / unpause domains. API is subject to change! Only my exact build of Xen is sure to work, and no promise even then. TomMD [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsXenCtrl

2 3

Re: Fwd: installing happy 1.17
by Duncan Coutts 07 Jun '08

07 Jun '08

On Sat, 2008-06-07 at 09:36 -0700, Thomas Hartman wrote: > cabal issue? Yes and no. What is happening is that there are several versions of the Cabal library installed. In particular Cabal-1.3.12 and Cabal-1.5.2. The happy package uses build-type Custom so cabal-install compiles the Setup.lhs script. The question is what version of the Cabal library should it use? The happy.cabal file specifies cabal-version: >= 1.2 so we'd better respect that. But even then we have several choices. Currently it just picks the highest one of the remaining choices. In this case that meant Cabal-1.5.2 -- the latest development version. This version turns out to have API changes that means that we get a type error when compiling Setup.lhs. As it happens, if cabal-install had picked one of the other choices then it would have compiled ok because the 1.2.x and upcoming 1.4.x series do not have those api changes. The immediate workarounds are: * unregister Cabal-1.5.2 * cabal install happy --cabal-lib-version 1.3.12 Perhaps a better solution is for cabal-install to choose the version of the Cabal library differently. Of course it has to be within the hard constraints specified in the .cabal file and on the command line. But after that perhaps it should prefer the version of the Cabal library that it itself was built with and at second preference the latest version in the same major series. The last preference would be as now, the latest version available. Sound sensible? Duncan > ---------- Forwarded message ---------- > From: Thomas Hartman <tphyahoo(a)gmail.com> > Date: 2008/6/7 > Subject: installing happy 1.17 > To: haskell <haskell-cafe(a)haskell.org> > > > I had a problem installing happy 1.17 (same result with happy head). > This appears to be required for installing happs-hsp-template via > cabal install. > > thanks for any advice! > > Thomas. > > ***** > > thartman@thartman-laptop:~/haskellInstalls/smallInstalls>darcs get > --partial http://darcs.haskell.org/happy/ > ********************** > Copying patch 87 of 87... done. > Applying patch 86 of 86... done. > Finished getting. > > thartman@thartman-laptop:~/haskellInstalls/smallInstalls>cd happy > > thartman@thartman-laptop:~/haskellInstalls/smallInstalls/happy>runghc > Setup.lhs configure > > Setup.lhs:30:43: Not in scope: `buildVerbose' > thartman@thartman-laptop:~/haskellInstalls/smallInstalls/happy>cabal --version > cabal-install version 0.4.9 > using version 1.3.12 of the Cabal library > thartman@thartman-laptop:~/haskellInstalls/smallInstalls/happy>ghc-pkg > list | grep -i cabal > Cabal-1.2.3.0, Cabal-1.3.11, Cabal-1.3.12, Cabal-1.5.2,

3 5

Re: [Haskell-cafe] example of FFI FunPtr
by Galchin, Vasili 07 Jun '08

07 Jun '08

Hi Claude, I want to do an incremental "experiment". I want just want to pass a C function to "callback" to a Haskell function. ??? Thanks, Vasili On Thu, Jun 5, 2008 at 4:21 AM, Claude Heiland-Allen < claudiusmaximus(a)goto10.org> wrote: > Galchin, Vasili wrote: > >> Hello, >> >> I want to model a Haskell function that is a callback from C. I have >> only found one example in the unix package's Semaphore.hsc, which >> apparently >> is not used. I want to be able to marshall a Haskell function that is a >> first class citizen residing in a Haskell data type and pass to a C >> function >> via FFI. Are there examples of this? >> > > Attached is a simple example. > > The main thing to note is 'foreign import ccall "wrapper"' which gives you > a factory for turning Haskell functions into foreign function pointers. > > More information: > > http://www.cse.unsw.edu.au/~chak/haskell/ffi/<http://www.cse.unsw.edu.au/%7Echak/haskell/ffi/> > > > Claude > -- > http://claudiusmaximus.goto10.org > > > CallBacker: CallBacker.hs callerback.c callerback.h > ghc -O2 -Wall -fffi -o CallBacker CallBacker.hs callerback.c > >

2 1

Patrick Perry's BLAS package
by Andrzej Jaworski 07 Jun '08

07 Jun '08

Hi, Indeed, this has been long awaited. Long live Patrick!!! And continue the good work:-) However, such essential work shouldn't be dependent on heroic effort of an individual. If Haskell is to remain non-commercial a disciplined community effort should be taken akin to Pythonian. Perhaps also thouse of you who teach Haskell could better use cheap labour of students, after all Haskell's module system is not all that weak;-) Cheers, -A.J.

2 2