- Beginners - Haskell.org

Folding an applicative functor, wait,.. what?
by Arlen Cuss 09 Jan '11

09 Jan '11

Hi all, I'm probably in serious trouble here (i.e. I'm toying with things I don't understand); I have some code that I was using like follows, context removed for clarity: anotherFunc :: Int -> String ... map ((++) <$> show <*> anotherFunc) [1..20] This works great - the integers 1..20 are passed to each function and the results are catenated together. What if I'd like to add a third function? So far, the only workable solution I've been able to come up with is this: map ((++) <$> ((++) <$> show <*> anotherFunc) <*> yetAnotherFunc) [1..20] That's one unfortunate expression. I've been messing around with concat (trying to get the results of the functions into a list when all is well and done for concat to finally string together?), but all in all, have not had much luck with seeding the values in that way. I think there is probably an obvious solution I've missed... and hold on a minute! map (mconcat [show, anotherFunc, yetAnotherFunc]) [1..20] I just stumbled upon this. While I'm not 100% confident on what's just happened here, I thought I'd mail this out for everyone to enjoy the learning process that has been this email. This serves as a helpful pointer for me to study both monoids and applicative functors in depth, as the former suddenly leapt out of the recesses of my mind somewhere and solved it. Thanks for listening, and nice to meet you all! Cheers, Arlen

3 5

Compilation fails with Data.Numbers.Primes
by Graham Enos 07 Jan '11

07 Jan '11

Hi all, I'm having trouble compiling (with GHC) a program that uses the Data.Numbers.Primes package (newest, 0.2.0.0) on Mac OS X, 10.6. Any help would be greatly appreciated! It gets to the linking stage, and then complains of undefined symbols: ghc -O2 counting_primes_200.hs Undefined symbols: "_primeszm0zi2zi0zi0_DataziNumbersziPrimes_primeFactorszuprimes1_closure", referenced from: _s1bm_info in counting_primes_200.o _s1bv_info in counting_primes_200.o _Main_main5_info in counting_primes_200.o _Main_main2_srt in counting_primes_200.o _Main_main5_srt in counting_primes_200.o "___stginit_primeszm0zi2zi0zi0_DataziNumbersziPrimes_", referenced from: ___stginit_Main_ in counting_primes_200.o ld: symbol(s) not found collect2: ld returned 1 exit status It's probably not a problem with the program I'm trying to compile, because runhaskell and ghci handle it fine (though I'd be happy to send along the source to anyone interested). It's also not necessarily a broken compiler, since GHC will compile simple throwaway stuff still and I've installed the newest Haskell environment; this problem happened on both my previous GHC installation and the newest. I was wondering if anyone else was having linking problems with the primes package, and what I could do to compile/link correctly. Thanks very much! Best, Graham

2 1

QuickCheck documentation
by Christian Maeder 06 Jan '11

06 Jan '11

Hi, where can I find the best documentation for using QuickCheck? I use version QuickCheck-2.1.1.1 that is in the current Haskell Platform 2010.2.0.0. Thanks Christian (The links to home pages http://www.cse.chalmers.se/~koen http://www.math.chalmers.se/~rjmh/QuickCheck/ are pretty dead.)

2 2

Tying the knot
by Alex Rozenshteyn 05 Jan '11

05 Jan '11

I'm trying to understand the technique referred to as "tying the knot", but documentation on the internet seems to be much sparser and more obtuse than I like. So I'm asking here. As far as I understand, "tying the knot" refers to a way of using laziness to implement something like references in a purely functional way. I'm trying to write a toy simulation: I have a population :: [Person] I want to collect a random subset of possible pairs of distinct people. So I go to each person in the population and select a subset of the people after him/her in the list; these are pairs in which s/he is the first element. I want to then be able to ask for all pairs in which a person is the first or the second element. I could give each person a unique id, but it seems like tying the knot is a valid way to implement this. Please correct me if I am misunderstanding. Thank you. -- Alex R

5 6

Re: [Haskell-beginners] Beginners Digest, Vol 31, Issue 1
by mgd 04 Jan '11

04 Jan '11

Hi. i did what you said ant worked. the Platform Haskell, its very interesting. thanks a lot On 2011/01/01, at 11:00, beginners-request(a)haskell.org wrote: > Send Beginners mailing list submissions to > beginners(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://www.haskell.org/mailman/listinfo/beginners > or, via email, send a message with subject or body 'help' to > beginners-request(a)haskell.org > > You can reach the person managing the list at > beginners-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Beginners digest..." > > > Today's Topics: > > 1. Re: Beginners Digest, Vol 30, Issue 49 (Miguel Dias) > 2. Re: Beginners Digest, Vol 30, Issue 49 (Brent Yorgey) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 31 Dec 2010 12:33:22 +0000 > From: Miguel Dias <dias.69.652(a)gmail.com> > Subject: Re: [Haskell-beginners] Beginners Digest, Vol 30, Issue 49 > To: beginners(a)haskell.org > Message-ID: <80A0FA05-D6F1-43CB-BD2D-45BFD6DC0B3C(a)gmail.com> > Content-Type: text/plain; charset=us-ascii > > i have the version 6.10.4. > i realized now, that has a new version, i've tried to install it, but it still's in the old version. > maybe i need to install cabal. > i've downloaded of my actual version from the www.haskell.org/ghc > > Miguel > > On Dec 31, 2010, at 11:00 AM, beginners-request(a)haskell.org wrote: > >> Send Beginners mailing list submissions to >> beginners(a)haskell.org >> >> To subscribe or unsubscribe via the World Wide Web, visit >> http://www.haskell.org/mailman/listinfo/beginners >> or, via email, send a message with subject or body 'help' to >> beginners-request(a)haskell.org >> >> You can reach the person managing the list at >> beginners-owner(a)haskell.org >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of Beginners digest..." >> >> >> Today's Topics: >> >> 1. Problem installing lhs2tex (Miguel Dias) >> 2. Re: Problem installing lhs2tex (Brent Yorgey) >> >> >> ---------------------------------------------------------------------- >> >> Message: 1 >> Date: Thu, 30 Dec 2010 19:29:38 +0000 >> From: Miguel Dias <dias.69.652(a)gmail.com> >> Subject: [Haskell-beginners] Problem installing lhs2tex >> To: beginners(a)haskell.org >> Message-ID: >> <AANLkTimbk3ePJ2Sn-ed472bqGaTAnUGyv8abqJAK7v3p(a)mail.gmail.com> >> Content-Type: text/plain; charset="iso-8859-1" >> >> Hi, im trying to install lhs2TeX in Mac OS. >> But i got an error, that i dont know how to fix. >> >> Someone can explain me what i need to do to fix that. >> >> Is this error: >> >> " >> MacBook:lhs2tex-1.16 mgd$ make >> /opt/local/bin/ghc -O --make -o lhs2TeX Main.lhs >> [17 of 19] Compiling FileNameUtils ( FileNameUtils.lhs, FileNameUtils.o ) >> >> FileNameUtils.lhs:15:57: >> Module `System.IO' does not export `hSetEncoding' >> >> FileNameUtils.lhs:15:85: Module `System.IO' does not export `utf8' >> make: *** [lhs2TeX] Error 1 >> >> " >> >> Thanks, >> Miguel >>

1 0

Re: [Haskell-beginners] Beginners Digest, Vol 30, Issue 49
by Miguel Dias 31 Dec '10

31 Dec '10

i have the version 6.10.4. i realized now, that has a new version, i've tried to install it, but it still's in the old version. maybe i need to install cabal. i've downloaded of my actual version from the www.haskell.org/ghc Miguel On Dec 31, 2010, at 11:00 AM, beginners-request(a)haskell.org wrote: > Send Beginners mailing list submissions to > beginners(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://www.haskell.org/mailman/listinfo/beginners > or, via email, send a message with subject or body 'help' to > beginners-request(a)haskell.org > > You can reach the person managing the list at > beginners-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Beginners digest..." > > > Today's Topics: > > 1. Problem installing lhs2tex (Miguel Dias) > 2. Re: Problem installing lhs2tex (Brent Yorgey) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 30 Dec 2010 19:29:38 +0000 > From: Miguel Dias <dias.69.652(a)gmail.com> > Subject: [Haskell-beginners] Problem installing lhs2tex > To: beginners(a)haskell.org > Message-ID: > <AANLkTimbk3ePJ2Sn-ed472bqGaTAnUGyv8abqJAK7v3p(a)mail.gmail.com> > Content-Type: text/plain; charset="iso-8859-1" > > Hi, im trying to install lhs2TeX in Mac OS. > But i got an error, that i dont know how to fix. > > Someone can explain me what i need to do to fix that. > > Is this error: > > " > MacBook:lhs2tex-1.16 mgd$ make > /opt/local/bin/ghc -O --make -o lhs2TeX Main.lhs > [17 of 19] Compiling FileNameUtils ( FileNameUtils.lhs, FileNameUtils.o ) > > FileNameUtils.lhs:15:57: > Module `System.IO' does not export `hSetEncoding' > > FileNameUtils.lhs:15:85: Module `System.IO' does not export `utf8' > make: *** [lhs2TeX] Error 1 > > " > > Thanks, > Miguel >

2 1

Problem installing lhs2tex
by Miguel Dias 30 Dec '10

30 Dec '10

Hi, im trying to install lhs2TeX in Mac OS. But i got an error, that i dont know how to fix. Someone can explain me what i need to do to fix that. Is this error: " MacBook:lhs2tex-1.16 mgd$ make /opt/local/bin/ghc -O --make -o lhs2TeX Main.lhs [17 of 19] Compiling FileNameUtils ( FileNameUtils.lhs, FileNameUtils.o ) FileNameUtils.lhs:15:57: Module `System.IO' does not export `hSetEncoding' FileNameUtils.lhs:15:85: Module `System.IO' does not export `utf8' make: *** [lhs2TeX] Error 1 " Thanks, Miguel

2 1

Re: [Haskell-beginners] Tying the knot
by Russ Abbott 30 Dec '10

30 Dec '10

I haven't done any prolog in a while, but I thought this reminded me of prolog variables. So I wrote up a prolog version. This is the code. labelLeaves(Tree, Tree1) :- label(N, Tree, (N, Tree1)). label(N, branch(A, B), (N1, branch(A1, B1))) :- label(N, A, (Na, A1)), label(N, B, (Nb, B1)), N1 is Na + Nb. label(N, leaf(_), (1, leaf(N))). # The next line provides data to work with. tree(branch(branch(leaf(a), branch(leaf(b), leaf(c))), leaf(d))). Here is the execution. ?- tree(T), labelLeaves(T, T1). T = branch(branch(leaf(a), branch(leaf(b), leaf(c))), leaf(d)), T1 = branch(branch(leaf(4), branch(leaf(4), leaf(4))), leaf(4)) ; false. * -- Russ Abbott _____________________________________________* * Professor, Computer Science California State University, Los Angeles Google voice: 424-235-5752 (424-cell-rja) blog: http://russabbott.blogspot.com/ vita: http://sites.google.com/site/russabbott/ _____________________________________________* On Wed, Dec 29, 2010 at 4:22 PM, <beginners-request(a)haskell.org> wrote: > Send Beginners mailing list submissions to > beginners(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://www.haskell.org/mailman/listinfo/beginners > or, via email, send a message with subject or body 'help' to > beginners-request(a)haskell.org > > You can reach the person managing the list at > beginners-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Beginners digest..." > > > Today's Topics: > > 1. Re: strange behaviour : computing lowest divisor (Daniel Fischer) > 2. Re: Tying the knot (Heinrich Apfelmus) > 3. runtime error <<loop>> when using -O compile option > (Gerold Meisinger) > 4. Re: runtime error <<loop>> when using -O compile option > (Sangeet Kumar) > 5. Re: Tying the knot (Alex Rozenshteyn) > 6. Re: Tying the knot (Patrick LeBoutillier) > 7. Re: Tying the knot (aditya siram) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 29 Dec 2010 12:49:00 +0100 > From: Daniel Fischer <daniel.is.fischer(a)googlemail.com> > Subject: Re: [Haskell-beginners] strange behaviour : computing lowest > divisor > To: beginners(a)haskell.org > Message-ID: <201012291249.01415.daniel.is.fischer(a)googlemail.com> > Content-Type: text/plain; charset="utf-8" > > On Wednesday 29 December 2010 10:59:53, Abhijit Ray wrote: > > Thanks, that seems to have fixed it. > > > > On Wed, Dec 29, 2010 at 5:46 PM, Lyndon Maydwell <maydwell(a)gmail.com> > wrote: > > > Try with Integer rather than Int. Might be an overflow issue... > > > > > > > > > > > > *Main> ld 278970415063349480483707695 > > Yes, that number is between 2^87 and 2^88, as an Int, it's typically one of > 206297903 = 7*37*796517 (32-bit Ints) > or > -9158009321667437777 = -7*13*15015953*670203649 (64-bit Ints). > > > > ------------------------------ > > Message: 2 > Date: Wed, 29 Dec 2010 13:49:34 +0100 > From: Heinrich Apfelmus <apfelmus(a)quantentunnel.de> > Subject: Re: [Haskell-beginners] Tying the knot > To: beginners(a)haskell.org > Message-ID: <iffaou$ba4$1(a)dough.gmane.org> > Content-Type: text/plain; charset=UTF-8; format=flowed > > Alex Rozenshteyn wrote: > > I'm trying to understand the technique referred to as "tying the knot", > but > > documentation on the internet seems to be much sparser and more obtuse > than > > I like. > > > > So I'm asking here. > > > > As far as I understand, "tying the knot" refers to a way of using > laziness > > to implement something like references in a purely functional way. > > Not really. > > "Tying the knot" refers to writing a seemingly circular program, where > the result of a function is used as argument to the very same function. > > A canonical example is the following solution to the problem of labeling > all the leaves in a tree with the total leaf count: > > data Tree a = Branch (Tree a) (Tree a) | Leaf a > > labelLeaves :: Tree a -> Tree Int > labelLeaves tree = tree' > where > (n, tree') = label n tree -- n is both result and argument! > > label n (Branch a b) = (na+nb, Branch a' b') > where > (na,a') = label n a > (nb,b') = label n b > label n (Leaf _) = (1, Leaf n) > > > In some cases, this be used to implement read-only doubly-linked lists > and other things that seem to require references, but not everything > involving references can be solved by tying a knot; in particular, the > references will be read-only. > > > (Feel free to put my blurb above on the HaskellWiki.) > > > I'm trying to write a toy simulation: > > I have a population :: [Person] > > I want to collect a random subset of possible pairs of distinct people. > > So I go to each person in the population and select a subset of the > people > > after him/her in the list; these are pairs in which s/he is the first > > element. > > > > I want to then be able to ask for all pairs in which a person is the > first > > or the second element. I could give each person a unique id, but it > seems > > like tying the knot is a valid way to implement this. > > This situation doesn't have anything to do with tying the knot. After > all, how do you distinguish persons in the first place? You probably > already gave the unique IDs. Then, it's simply a matter of applying the > function > > filter (\(x,y) -> x == p || y == p) > > where p is the person you are looking for. > > > Regards, > Heinrich Apfelmus > > -- > http://apfelmus.nfshost.com > > > > > ------------------------------ > > Message: 3 > Date: Wed, 29 Dec 2010 13:57:15 +0000 (UTC) > From: Gerold Meisinger <gerold.meisinger(a)gmail.com> > Subject: [Haskell-beginners] runtime error <<loop>> when using -O > compile option > To: beginners(a)haskell.org > Message-ID: <loom.20101229T145705-480(a)post.gmane.org> > Content-Type: text/plain; charset=us-ascii > > Hello! > > I'm working on a computer game using Yampa and I get the following > runtime error: > > $ myprog: <<loop>> > > when compiling with > > $ ghc --make MyProg.hs -o myprog -O > (without -O it works fine) > > I stripped the bug down to the program below. What's funny is that the > error disappears under certain "odd circumstances" (marked as #1-#4). My > questions are: > 1. How can I avoid this bug without introducing one of the "odd > circumstances"? > 2. Why is it that I get this error? > 3. How would you hunt down such a bug? Originally I got no clue where it > came from, so I just took the program apart piece by piece. > > {-# LANGUAGE Arrows #-} > > module Main (main) where > > import FRP.Yampa > > type ObjIn = Event () -- loop #1 > --type ObjIn = Bool -- no loop #1 > > type ObjOut = (String, Int) -- loop #2 > --type ObjOut = Int -- no loop #2 > > type GameObj = SF ObjIn ObjOut > > testObj :: GameObj > testObj = proc hit -> do > returnA -< ("testObj", 1) -- loop #2 > -- returnA -< 1 -- no loop #2 > > process :: [GameObj] -> SF () [ObjOut] > process objs = proc _ -> do > rec > gamestate <- par logic objs > -< gamestate -- loop #3 (recursive definition!) > -- -< [] -- no loop #3 > > returnA -< gamestate > > logic :: [ObjOut] -> [sf] -> [(ObjIn, sf)] > logic gamestate objs = map route objs > where > route obj = > (if null (foo gamestate) then NoEvent else NoEvent, obj) > -- loop #1 > -- (if null (foo gamestate) then False else False, obj) > -- no loop #1 > > foo :: [ObjOut] -> [ObjOut] > foo [] = [] > foo objs = concat (collisions objs) > where > collisions [] = [] > collisions (out:objs') = > [[out, out'] | out' <- objs, out `collide` out'] -- loop > #4 > -- [[out, out'] | out' <- objs, True] -- no loop #4 > > collide :: ObjOut -> ObjOut -> Bool > collide (_, p) (_, p') = True -- loop #2 > --collide p p' = True -- no loop #2 > > > main :: IO () > main = do > putStrLn . show $ embed (process [testObj]) ((), [(1.0, > Nothing)]) > > (Btw: I re-opened a bug report: > http://hackage.haskell.org/trac/ghc/ticket/2722#comment:10 ) > > > > > > ------------------------------ > > Message: 4 > Date: Wed, 29 Dec 2010 15:06:41 +0100 (CET) > From: Sangeet Kumar <sk(a)one.com> > Subject: Re: [Haskell-beginners] runtime error <<loop>> when using -O > compile option > To: Gerold Meisinger <gerold.meisinger(a)gmail.com> > Cc: beginners(a)haskell.org > Message-ID: <10654318.18.1293631600822.JavaMail.sangeetk@sk> > Content-Type: text/plain; charset=utf-8 > > Hi, > > Thankyou for the update. I will confirm the delivery as soon as I receive > it. > > Regards, > Sangeet > > ----- Original Message ----- > From: "Gerold Meisinger" <gerold.meisinger(a)gmail.com> > To: beginners(a)haskell.org > Sent: Wednesday, December 29, 2010 2:57:15 PM > Subject: [Haskell-beginners] runtime error <<loop>> when using -O compile > option > > Hello! > > I'm working on a computer game using Yampa and I get the following > runtime error: > > $ myprog: <<loop>> > > when compiling with > > $ ghc --make MyProg.hs -o myprog -O > (without -O it works fine) > > I stripped the bug down to the program below. What's funny is that the > error disappears under certain "odd circumstances" (marked as #1-#4). My > questions are: > 1. How can I avoid this bug without introducing one of the "odd > circumstances"? > 2. Why is it that I get this error? > 3. How would you hunt down such a bug? Originally I got no clue where it > came from, so I just took the program apart piece by piece. > > {-# LANGUAGE Arrows #-} > > module Main (main) where > > import FRP.Yampa > > type ObjIn = Event () -- loop #1 > --type ObjIn = Bool -- no loop #1 > > type ObjOut = (String, Int) -- loop #2 > --type ObjOut = Int -- no loop #2 > > type GameObj = SF ObjIn ObjOut > > testObj :: GameObj > testObj = proc hit -> do > returnA -< ("testObj", 1) -- loop #2 > -- returnA -< 1 -- no loop #2 > > process :: [GameObj] -> SF () [ObjOut] > process objs = proc _ -> do > rec > gamestate <- par logic objs > -< gamestate -- loop #3 (recursive definition!) > -- -< [] -- no loop #3 > > returnA -< gamestate > > logic :: [ObjOut] -> [sf] -> [(ObjIn, sf)] > logic gamestate objs = map route objs > where > route obj = > (if null (foo gamestate) then NoEvent else NoEvent, obj) > -- loop #1 > -- (if null (foo gamestate) then False else False, obj) > -- no loop #1 > > foo :: [ObjOut] -> [ObjOut] > foo [] = [] > foo objs = concat (collisions objs) > where > collisions [] = [] > collisions (out:objs') = > [[out, out'] | out' <- objs, out `collide` out'] -- loop > #4 > -- [[out, out'] | out' <- objs, True] -- no loop #4 > > collide :: ObjOut -> ObjOut -> Bool > collide (_, p) (_, p') = True -- loop #2 > --collide p p' = True -- no loop #2 > > > main :: IO () > main = do > putStrLn . show $ embed (process [testObj]) ((), [(1.0, > Nothing)]) > > (Btw: I re-opened a bug report: > http://hackage.haskell.org/trac/ghc/ticket/2722#comment:10 ) > > > > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://www.haskell.org/mailman/listinfo/beginners > > > > ------------------------------ > > Message: 5 > Date: Wed, 29 Dec 2010 14:31:48 -0500 > From: Alex Rozenshteyn <rpglover64(a)gmail.com> > Subject: Re: [Haskell-beginners] Tying the knot > To: Heinrich Apfelmus <apfelmus(a)quantentunnel.de> > Cc: beginners(a)haskell.org > Message-ID: > <AANLkTi=T4QYGbx9r_xoD8e8cPiOak58DvMqZZNta=wHL(a)mail.gmail.com> > Content-Type: text/plain; charset="utf-8" > > Thank you. I'm still unclear as to how tying the know works and when it is > useful, but at least one of my misconceptions has been clarified. > > I haven't given my `Person`s unique ids yet, thinking that I could avoid it > if I worked carefully. Guess it's not worth the effort. > > On Wed, Dec 29, 2010 at 7:49 AM, Heinrich Apfelmus < > apfelmus(a)quantentunnel.de> wrote: > > > Alex Rozenshteyn wrote: > > > >> I'm trying to understand the technique referred to as "tying the knot", > >> but > >> documentation on the internet seems to be much sparser and more obtuse > >> than > >> I like. > >> > >> So I'm asking here. > >> > >> As far as I understand, "tying the knot" refers to a way of using > laziness > >> to implement something like references in a purely functional way. > >> > > > > Not really. > > > > "Tying the knot" refers to writing a seemingly circular program, where > the > > result of a function is used as argument to the very same function. > > > > A canonical example is the following solution to the problem of labeling > > all the leaves in a tree with the total leaf count: > > > > data Tree a = Branch (Tree a) (Tree a) | Leaf a > > > > labelLeaves :: Tree a -> Tree Int > > labelLeaves tree = tree' > > where > > (n, tree') = label n tree -- n is both result and argument! > > > > label n (Branch a b) = (na+nb, Branch a' b') > > where > > (na,a') = label n a > > (nb,b') = label n b > > label n (Leaf _) = (1, Leaf n) > > > > > > In some cases, this be used to implement read-only doubly-linked lists > and > > other things that seem to require references, but not everything > involving > > references can be solved by tying a knot; in particular, the references > will > > be read-only. > > > > > > (Feel free to put my blurb above on the HaskellWiki.) > > > > > > I'm trying to write a toy simulation: > >> I have a population :: [Person] > >> I want to collect a random subset of possible pairs of distinct people. > >> So I go to each person in the population and select a subset of the > people > >> after him/her in the list; these are pairs in which s/he is the first > >> element. > >> > >> I want to then be able to ask for all pairs in which a person is the > first > >> or the second element. I could give each person a unique id, but it > seems > >> like tying the knot is a valid way to implement this. > >> > > > > This situation doesn't have anything to do with tying the knot. After > all, > > how do you distinguish persons in the first place? You probably already > gave > > the unique IDs. Then, it's simply a matter of applying the function > > > > filter (\(x,y) -> x == p || y == p) > > > > where p is the person you are looking for. > > > > > > Regards, > > Heinrich Apfelmus > > > > -- > > http://apfelmus.nfshost.com > > > > > > _______________________________________________ > > Beginners mailing list > > Beginners(a)haskell.org > > http://www.haskell.org/mailman/listinfo/beginners > > > > > > -- > Alex R >

1 0

runtime error <<loop>> when using -O compile option
by Gerold Meisinger 29 Dec '10

29 Dec '10

Hello! I'm working on a computer game using Yampa and I get the following runtime error: $ myprog: <<loop>> when compiling with $ ghc --make MyProg.hs -o myprog -O (without -O it works fine) I stripped the bug down to the program below. What's funny is that the error disappears under certain "odd circumstances" (marked as #1-#4). My questions are: 1. How can I avoid this bug without introducing one of the "odd circumstances"? 2. Why is it that I get this error? 3. How would you hunt down such a bug? Originally I got no clue where it came from, so I just took the program apart piece by piece. {-# LANGUAGE Arrows #-} module Main (main) where import FRP.Yampa type ObjIn = Event () -- loop #1 --type ObjIn = Bool -- no loop #1 type ObjOut = (String, Int) -- loop #2 --type ObjOut = Int -- no loop #2 type GameObj = SF ObjIn ObjOut testObj :: GameObj testObj = proc hit -> do returnA -< ("testObj", 1) -- loop #2 -- returnA -< 1 -- no loop #2 process :: [GameObj] -> SF () [ObjOut] process objs = proc _ -> do rec gamestate <- par logic objs -< gamestate -- loop #3 (recursive definition!) -- -< [] -- no loop #3 returnA -< gamestate logic :: [ObjOut] -> [sf] -> [(ObjIn, sf)] logic gamestate objs = map route objs where route obj = (if null (foo gamestate) then NoEvent else NoEvent, obj) -- loop #1 -- (if null (foo gamestate) then False else False, obj) -- no loop #1 foo :: [ObjOut] -> [ObjOut] foo [] = [] foo objs = concat (collisions objs) where collisions [] = [] collisions (out:objs') = [[out, out'] | out' <- objs, out `collide` out'] -- loop #4 -- [[out, out'] | out' <- objs, True] -- no loop #4 collide :: ObjOut -> ObjOut -> Bool collide (_, p) (_, p') = True -- loop #2 --collide p p' = True -- no loop #2 main :: IO () main = do putStrLn . show $ embed (process [testObj]) ((), [(1.0, Nothing)]) (Btw: I re-opened a bug report: http://hackage.haskell.org/trac/ghc/ticket/2722#comment:10 )

2 1

strange behaviour : computing lowest divisor
by Abhijit Ray 29 Dec '10

29 Dec '10

HI, I have written(copied) a small piece of code which finds the lowest divisor of am integer (greater than 1) the code is here ld::Int->Int ld n = ld' 2 n where ld' i n | rem n i == 0 = i | i^2 > n = n | otherwise = ld' (i+1) n now it seems to work fine for small numbers but for a big number we get *Main> ld 278970415063349480483707695 7 the number is obviously divisible by 5 , so where is the anomaly ? Thanks, Abhijit On Wed, Dec 29, 2010 at 2:52 PM, Alex Rozenshteyn <rpglover64(a)gmail.com>wrote: > I'm trying to understand the technique referred to as "tying the knot", but > documentation on the internet seems to be much sparser and more obtuse than > I like. > > So I'm asking here. > > As far as I understand, "tying the knot" refers to a way of using laziness > to implement something like references in a purely functional way. > > I'm trying to write a toy simulation: > I have a population :: [Person] > I want to collect a random subset of possible pairs of distinct people. > So I go to each person in the population and select a subset of the people > after him/her in the list; these are pairs in which s/he is the first > element. > > I want to then be able to ask for all pairs in which a person is the first > or the second element. I could give each person a unique id, but it seems > like tying the knot is a valid way to implement this. > > Please correct me if I am misunderstanding. > > Thank you. > > -- > Alex R > > > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://www.haskell.org/mailman/listinfo/beginners > >

3 3