- Haskell - Haskell.org

Functional Metapost maintained?
by Ferenc Wagner 25 Nov '01

25 Nov '01

Hi, I got to know Haskell through Functional Metapost. Those who use LaTeX and feel like programming some graphics in Haskell, might have a look at this: http://tex.loria.fr/prod-graph/functional-metapost-latex.pdf Trying to use the package I had some problems with the current Hugs and GHC, too. It seems like the version I have is quite dated: it uses fromDouble, fromInt, fromRealFrac etc. which GHC barks at. I made some modifications to have it compile, so that I can use it know, but I still have a couple of problems that should be washed out. But before I go for it, I'd like to know if somebody have got a newer version, or somebody else maintains it, or have some relevant information about that package, or anything... On the Web I found nothing, really. Cheers: Feri.

3 5

RE: heap and walking through a very long list
by Simon Peyton-Jones 25 Nov '01

25 Nov '01

The trouble here is the usual one: accumArray is lazy, and simply accumulates a giant closure in each array slot. Then, when it is evaluated, the stack gets big. There should really be a strict accumArray, just as there should be a strict foldl. There isn't in Haskell 98, but if you are using a fixed type (like Int) you can use GHC's IArrays (see documentation on the 'lang' package). There's an accumArray in there too, and it'll be strict for sure. Simon | -----Original Message----- | From: Lukasz Pankowski [mailto:lupan@zamek.gda.pl] | Sent: 18 November 2001 23:18 | To: haskell(a)haskell.org | Subject: heap and walking through a very long list | | | | Hi. I wonder if there are any methods of walking through a | very long list without a huge heap. It is good that a | laziness makes creation of large stuctures delayed, but it | seems that destruction of never again used beginning of a | list is also delayed (probably because of other reason). | | Consider the simple program: | | main = do putStrLn $ show $ hist_inc 100000 3 | | hist_inc n b = hist (0,b) $ take n $ repeat b | | hist bnds is = accumArray (+) 0 bnds [(i, 1) | i <- | is, inRange bnds i] | | and it's output (compiled with GHC): | | $ ./hist_inc | Stack space overflow: current size 1048576 bytes. | Use `+RTS -Ksize' to increase it. | | | I am using GHC 5.0, does it have any optimization to overcome | it (`-O -fvia-C -O2-for-C' does not do this). It is obvious | that the beginning of the list is no longer needed (does | garbage collector now this?). | | If there is a way is it written somewhere in documentation? | | I feel it insane to have to have let say 256Mb of memory | because I have 1 million measurements on a list. Currently I | pipe the results to a C program, nice UN!X practice which I | would like avoid. | | | -- | | =*= Lukasz Pankowski =*= | | | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell |

2 1

virtual functions
by Rahul Bhargava 23 Nov '01

23 Nov '01

Hi, I seek an elegant solution to introduce in Haskell code (with GHC as it is currently) with capabilities akin to virtual functions in C++. Say, I have a module with functions for serial operations. I want to introduce another module with distributed operations but maintain function names. Polymorphism should resolve which underlying function is to be called by checking whether the caller wants to perform operations on a serial or a distributed structure. Example, sum sums elements in a local list. sum in the distributed module works on distributed lists. A third sum should sit on top of things and be visible to the user which chooses which sum is being talked about based on context. Cheers Rahul

1 0

RE: List.partition should be more lazy
by Simon Peyton-Jones 23 Nov '01

23 Nov '01

It was wrong in the Haskell report too (now fixed; see my home page). Also fixed in GHC 5.02. Simon | -----Original Message----- | From: Bastiaan Heeren [mailto:bastiaan@cs.uu.nl] | Sent: 23 November 2001 13:55 | To: haskell(a)haskell.org | Subject: List.partition should be more lazy | | | Using the function partition from the List module, a control | stack overflow occurs when evaluating the following expression: | | | List> head $ fst $ partition even [1..] | | (35929 reductions, 63867 cells) | ERROR: Control stack overflow | | | The definition of partition in both hugs and GHC libraries is: | | | partition :: (a -> Bool) -> [a] -> ([a],[a]) | partition p xs = foldr select ([],[]) xs | where select x (ts,fs) | p x = (x:ts,fs) | | otherwise = (ts,x:fs) | | | The helper-function select is strict in its second argument | because of the pattern match on the tuple (ts,fs). Making the | pattern match lazy by adding a ~ solves the problem! | | | partition :: (a -> Bool) -> [a] -> ([a],[a]) | partition p xs = foldr select ([],[]) xs | where select x ~(ts,fs) | p x = (x:ts,fs) | | otherwise = (ts,x:fs) | | | Cheers, | Bastiaan | | | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell |

1 0

List.partition should be more lazy
by Bastiaan Heeren 23 Nov '01

23 Nov '01

Using the function partition from the List module, a control stack overflow occurs when evaluating the following expression: List> head $ fst $ partition even [1..] (35929 reductions, 63867 cells) ERROR: Control stack overflow The definition of partition in both hugs and GHC libraries is: partition :: (a -> Bool) -> [a] -> ([a],[a]) partition p xs = foldr select ([],[]) xs where select x (ts,fs) | p x = (x:ts,fs) | otherwise = (ts,x:fs) The helper-function select is strict in its second argument because of the pattern match on the tuple (ts,fs). Making the pattern match lazy by adding a ~ solves the problem! partition :: (a -> Bool) -> [a] -> ([a],[a]) partition p xs = foldr select ([],[]) xs where select x ~(ts,fs) | p x = (x:ts,fs) | otherwise = (ts,x:fs) Cheers, Bastiaan

1 0

many urls
by Alex P.Gordienko 23 Nov '01

23 Nov '01

1 0

PhD positions in Informatics, Bergen University, Norway
by Marc Bezem 23 Nov '01

23 Nov '01

2 PhD positions Institute for Informatics University of Bergen, Norway 1. The project. --------------- MoSIS is a IKT project funded by the Norwegian Science Council (NFR) for the period 2002-2005. Its descriptive full title is: Modularity in large Software and Information Systems Modularization techniques are essential for mastering the complexity of large systems. There are many approaches: agents, components, libraries, ... The overall aim of the project is to develop a conceptual and formal framework for the composition and interaction of software modules at various levels of abstraction. The two relevant subprojects aim at applying formal techniques based on type theory, algebra and/or category theory to programming `in the large'. For more information on the project, see http://www.ii.uib.no/MoSIS 2. The profile of the candidates. --------------------------------- You have a Master degree (or equivalent) in Computer Science, Informatics, Mathematics or Logic. You enjoy working in an internationally oriented, English speaking research environment. 3. The jobs. ------------ The positions are opening up in 2002 and last for three years. There are in principle no teaching duties. There is a perspective for prolongation of at most one year as a research associate. The salary is about EUR 32.000 per year. 4. Information and how to apply. -------------------------------- More information can be obtained from Prof.Dr. M.A. Bezem (bezem(a)ii.uib.no) You are invited to send an application letter by e-mail, together with a curriculum vitae and the names and addresses of two references, before 21 December 2001. Applicants from outside the European Economic Area (EEA) will be considered. In a later stage of the procedure we may ask you to write a formal application to the faculty. 5. Bergen, Norway. ------------------ Bergen is the second-largest city in Norway, beautifully situated between 7 mountains (up to 600m) and fjords. Bergen has about 230.000 inhabitants and all facilities, including a nearby airport. The climate (including tax pressure) is milder than most people expect, but it can rain quite hard, indeed. For more information on - Bergen, see http://www.bergen-guide.com/ - Bergen University, see http://www.uib.no/ - Institute for Informatics, see http://www.ii.uib.no/ - Marc Bezem, see http://www.ii.uib.no/~bezem

1 0

Asynchronous Exceptions
by Steinitz, Dominic J 23 Nov '01

23 Nov '01

Can someone help me understand how this works? I've been reading the paper "Asynchronous Exceptions in Haskell". This gives a combinator finally :: IO a -> IO b -> IO s finally a b = block (do { r <- catch (unblock a) (\e -> do { b; throw e }); b; return r; }) Now suppose we have finally (putStrLn "Test Started") (putStrLn "Test Terminated") then looking at the semantics, putStrLn can become stuck and therefore can be interrupted. So the interrupt could occur whilst "Test Terminated" is being output and we could end up with Test Started Test Term Is this what could happen? If so, is there a way of making sure that "Test Terminated" is output? Dominic. ------------------------------------------------------------------------------------------------- To receive our special fares directly by email, register at http://www.britishairways.com/registration

1 0

PhD Studentship
by Zhaohui.Luo 22 Nov '01

22 Nov '01

EPSRC CASE PhD Studentship Department of Computer Science University of Durham, U.K. Applications are invited from students with good undergraduate or MSc degrees in computer science, mathematics or a related subject to study for a PhD degree. A U.K. EPSRC CASE Award (a research studentship with extra industrial funding for maintenance) is available for a suitably qualified candidate. It covers the tuition fees and the enhanced maintenance for three years. (For non-EU applicants, please note that the studentship does not cover the overseas fees, which are usually payable.) The successful candidate is expected to start as soon as possible and to work in the Computer-Assisted Reasoning Group (http://www.dur.ac.uk/CARG/) and in particular on the EPSRC-funded project `Epigram: Innovative Programming via Inductive Families' (http://www.dur.ac.uk/CARG/epigram.html) The project is about development of the theory and pragmatics of programming with dependent types. The collaborators are the ALTA Systems Ltd. and the Centre for Educational Measurement from the Queen's University of Belfast. Further enquiries and applications (with a CV and the names of at least two referees) can be sent to Prof. Zhaohui Luo, Dept. of Computer Science, Durham University, South Road, Durham DH1 3LE, U.K. Email: Zhaohui.Luo(a)durham.ac.uk Phone: +44 (0)191 374 3657 Fax: +44 (0)191 374 2560 URL: http://www.dur.ac.uk/~dcs0zl/ Application forms can be obtained either from the above address or the office of the Department of Computer Science (http://www.dur.ac.uk/~dcs0www/) of the Durham University. A web version of this advertisement can be found at http://www.dur.ac.uk/CARG/studentship.epigram.html

1 0

Fw: Interesting pics for you ?!
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0