November 2010 - Beginners

How to select items from one list depending on another
by C K Kashyap 10 Nov '10

10 Nov '10

Hi, I have this problem at hand - Given two lists list1 = [0,1,2,0,1,4] list2 = [1,2,3,4,5,6] I need to take items from the second list only when the corresponding item in list1 is non-zero. list3 = map snd $ filter takeValid $ zip list1 list2 where takeValid (a,b) = a /= 0 Is there a shorter way? -- Regards, Kashyap

7 8

Typeclass Hierarchies on Gtk2Hs
by John Smith 10 Nov '10

10 Nov '10

I'm learning Gtk2Hs, and there is an interesting pattern to the types. Each type of widget has its own typeclass, e.g. Button and ButtonClass, Window and WindowClass. Is this idiomatic Haskell? Are there other ways to achieve such a hierarchy? (OO languages support such inheritance without requiring an interface for every class.)

1 0

Showing control characters
by Russ Abbott 10 Nov '10

10 Nov '10

Is there some way to include control characters in a Show string so that they take effect when the element is Shown? For example, if I define a String "a\nb" and use putStrLn on it, the \n causes a return, but when I simply return the string from a function, the \n is shown as \n. Is there a way to get the \n to execute when it's embedded in a returned value? Thanks * -- 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/ _____________________________________________*

2 2

Friend Modules?
by John Smith 10 Nov '10

10 Nov '10

I have a module which defines data structures and their functions for a program. I have another module which defines show methods for the structures. Both modules have a substantial amount of code, and I would prefer to keep them separate. However, the show methods require access to internal data structures, which would not normally be exported. Furthermore, many modules do not require the show functions. Is there any solution to this, other than an intermediate module which imports the data module, and only exports the required names?

2 1

Question about recursion
by Nadav Chernin 09 Nov '10

09 Nov '10

Hi, all I wrote function that delete elements from list by indexes: delIndexes::[Int]->[a]->[a] delIndexes [] list = list delIndexes _ [] = [] delIndexes indexes list = take x list ++ delIndexes ( map (\y->y-x-1) xs ) ( drop (x+1) list( where )x:xs)=sort indexes There is problem that in each step of recursion this function sort list of indexes ( in last line) How can I write this code that sorting will be executed only once (in first step)? Thank you, Nadav

2 1

ANNOUNCE: Haskell Communities and Activities Report (19th ed., November 2010)
by Janis Voigtländer 09 Nov '10

09 Nov '10

On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (19th edition, November 2010) is now available in PDF and HTML formats: http://haskell.org/communities/11-2010/report.pdf http://haskell.org/communities/11-2010/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline ;-) to the call. The editor collects all the contributions into a single report and feeds that back to the community. When I try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ---------------------------------------- End of April 2011: target deadline for contributions to the May 2011 edition of the HC&A Report ---------------------------------------- Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editor for a simple e-mail reminder in April (you could point me to them as well, and I can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender <hcar at haskell.org>

1 0

State Monads (and OpenGL)
by Tom Hobbs 08 Nov '10

08 Nov '10

Hi all, I have a program which implements Conway's Game Of Life. It even has an open GL UI which shockingly works. I've followed a tutorial (http://blog.mikael.johanssons.org/archive/2006/09/opengl-programming-in-has…) which tells how to get the open GL to animate, and according to my sysouts, that's working to. The problem I have comes with the fact that between every frame I want to evolve my world but I'm really struggling working out how to get the state stuff working. Here's a snippet of my main function; main = do world <- sequence (take (worldSize * worldSize) $ repeat rand) -- randomly generate a square world -- code snipped out displayCallback $= (display position world) -- display method which is called on every frame redraw mainLoop Here, world is a [Int] and represents my cells. The display function as referenced by "displayCallback" is the function that is called back to everytime the frame is redrawn. I also have another function which takes in a world, updates the state of the cells and the evolved world, thus; evolve :: [Int] -> [Int] I've been reading through (a lot of) tutorials on the state monad but I'm not any closer to working out how I make the call to display take some kind of updated world. I've also got the following code; type World = State [Int] evolveS :: World [Int] evolveS = do w <- get let w2 = evolve w put w2 return w2 Which I believe to be the correct code for wrapping my [Int] in the state monad but now I have two problems; 1) I don't know if it's correct 2) I don't know how to apply it, even if it is Can anyone offer any advice? Many thanks, Tom

2 2

editing a list
by Jonathan Phillips 07 Nov '10

07 Nov '10

I have a list (more precisely a string) which I'm trying to recurse through, editing sections as I come to it. It's obvious how to do it with a for loop, but I'm doing it all wrong in haskell, as this simple task is running mind-numbingly slowly. addOneNum cycles through each line, and when it gets to character 23, it calls changeNo, which edits the string. The problem is clearly the adding on to the end of the string, but the only other way I can see of doing it is writing the 'new string' backwards and then reverse it at the end. This looks like it would make the function even less legible than it already is though. addOneNum :: String -> String -> Integer -> String addOneNum x [] _ = x addOneNum x (y:ys) n = case n of 23 -> changeNo x (y:ys) n _ -> case y of '\n' -> addOneNum (x ++ [y]) ys 1 _ -> addOneNum (x ++ [y]) ys (n+1) changeNo :: String -> String -> Integer -> String changeNo v (w:x:y:z:xs) n = case length(show((read([w,x,y,z])::Integer) + 1)) of 0 -> addOneNum (v ++ " ") xs (n+4) 1 -> addOneNum (v ++ show((read([w,x,y,z])::Integer) + 1) ++ " ") xs (n+4) 2 -> addOneNum (v ++ show((read([w,x,y,z])::Integer) + 1) ++ " ") xs (n+4) 3 -> addOneNum (v ++ show((read([w,x,y,z])::Integer) + 1) ++ " ") xs (n+4) 4 -> addOneNum (v ++ show((read([w,x,y,z])::Integer) + 1)) xs (n+4) _ -> error "asdf" changeNo w _ n = error "changeNo error" Also, while I'm at it, it looks like I want to be using an as-pattern (or some C-style #define thing): changeNo v (w:x:y:z:xs) n = case length(s@(show((read([w,x,y,z])::Integer) + 1))) of 0 -> addOneNum (v ++ " ") xs (n+4) 1 -> addOneNum (v ++ s ++ " ") xs (n+4) 2 -> addOneNum (v ++ s ++ " ") xs (n+4) 3 -> addOneNum (v ++ s ++ " ") xs (n+4) 4 -> addOneNum (v ++ s) xs (n+4) _ -> error "asdf" but that gives me a 'not in scope' error. Any suggestions? Cheers, PhiJ

5 4

General primitive recursion
by Russ Abbott 07 Nov '10

07 Nov '10

Thanks Stephen, That looks like a nice set of slides. You're right that what I call the mapFn and the reduceFn could be combined into one function. Logically, though, I think it's more intuitive if they are separated. In addition, it seems important to allow for the possibility of having a function at the terminal point. For example, here's how I would define merge. merge xs ys = recursionEngine (\(xs, ys) -> null xs || null ys) (\(xs, ys) -> xs ++ ys) (:) (\(x:xs, y:ys) -> min x y) (\(x:xs, y:ys) -> if x <= y then (xs, y:ys) else (x:xs, ys)) (xs, ys) I'm not sure how to translate that into the genPR formulation. merge xs ys = genPR (\(xs, ys) -> null xs || null ys) (\(x:xs, y:ys) -> if x <= y then (xs, y:ys) else (x:xs, ys)) <There is no constant that goes here.> (\(x:xs, y:ys) merged -> (min x y) : merged) Besides the problem with the third argument, the fourth argument is awkward since it must take both heads, take their min, and then add them to the result of the recursive call. I'd prefer to take the heads and the min in a separate step as in the fourth argument to recursionEngine. *-- Russ * On Sat, Nov 6, 2010 at 2:10 AM, Stephen Tetley wrote: > > > Hello Russ > > Richard Kieburtz has a slightly smaller formulation of primitive > recursion on page 13 of these slides - the fold-like argument 'h' > doesn't appear to need a change of type: > > http://programatica.cs.pdx.edu/P/Programatica%20Logic1.pdf > > genPR :: (a -> Bool) -> (a -> a) -> c -> (a -> c -> c) -> a -> c > genPR p b g h x = if p x then g else h x (genPR p b g h (b x)) > > > -- factorial function: > fact :: Integer -> Integer > fact = genPR (==0) (subtract 1) 1 (*) > > Ignoring changes in argument order, the type of your recursionEngine > is one term and one type variable larger: > > recursionEngine :: (a -> Bool) -> (a -> c) -> (b -> c -> c) -> (a -> > b) -> (a -> a)-> a -> c > > Best wishes > > Stephen > > > >

1 0

Lifting infix functions in applicative style
by Bastian Erdnüß 06 Nov '10

06 Nov '10

When I want to lift an infix function into an applicative functor I use 'liftA2' -- I just call it 'up' for the sake of brevity. But I always have to add some parenthesis since I don't know how to tell Haskel that `up op` shall have the same fixity as `op` has. Is there a way to do that? Cheers, Bastian

2 2