March 2003 - Haskell-Cafe

Why no findM ? simple Cat revisited
by Ahn Ki-yung 11 Nov '03

11 Nov '03

Simple Cat (revisitied) \begin{code} import IO findM f [] = return Nothing findM f (x:xs) = do { v <- x; if f v then return (Just v) else findM f xs } isLeft (Left _) = True isLeft _ = False main = findM (isLeft) (hCat stdin) where hCat h = try (hGetLine h) : hCat h \end{code} This is my answer for the question of my own, which is posted a couple There are mapM, filterM in the Haskell 98 Standard Library. But why no findM there ? As you can see from simple cat, it seems quite useful. I think fildM should be added to the module Monad. -- Ahn Ki-yung

5 8

splatterhunks
by William Lee Irwin III 22 Apr '03

22 Apr '03

-- This program takes patch filenames as arguments and splits the patch -- files up on a hunk-by-hunk basis. I have found this useful for Linux -- kernel development, and perhaps others might find it useful in -- similar contexts where patches are the primary method of communication. module Main where import System import List main = getArgs >>= mapM_ splatterHunkFile splatterHunkFile file = mapM_ (\(f,ss) -> writeFile f (unlines ss)) . zip (map (((reverse . takeWhile (/= '/') . reverse $ file)++).("-"++).show) [1..]) . splatterHunks =<< readFile file splatterHunks ss = map (map unlines) $ zipWith (\s -> map (s:)) (map head . (splitList "diff") $ lines ss) (map (splitList "@@") . (splitList "diff") $ lines ss) splitList prefix ss = map ($ss) $ zipWith (\m n -> (if n >= 0 then take (n - m) else id) . drop m) (map fst . filter (\(n,s) -> isPrefixOf prefix s) $ zip [0..] ss) (tail (map fst . filter (\(n,s) -> isPrefixOf prefix s) $ zip [0..] ss) ++ [-1])

1 1

[OT[ proving programs for novices
by Chris Moline 15 Apr '03

15 Apr '03

hi. this isnt a haskell question but i am hoping you will forgive it. i was wondering where i could find books/websites/tutorials on how to construct proofs and how to prove programs. preferably books that are aimed at novices with some programming experience but little math/logic experience. i have paul hudaks hsoe book which has some material on proving properties of programs. sincerely chris moline

4 3

comonads, io
by peter＠premise.demon.co.uk 05 Apr '03

05 Apr '03

I came across an interesting paper "Codata and comonads in Haskell" by Richard Kieburtz, and some other work by Alberto Pardo on comonads. Kieburtz proposes an OI comonad, as an alternative to (or something alongside?) the IO monad. Just for reasons of symmetry, it's natural to wonder if they aren't as pervasive in functional programs as monads. Frustratingly, I can't seem to grasp the intuition. I'm aware that the state-monad s->(s,a) has a dual state-in-context comonad (s,s->a). How does the side-effect manifest itself? The (ineffective) hints the authors give revolve around the idea that side-effects "derive" from the context of a program. Any other hints? Are comonads especially appropriate for programming systems that react to changes in their environment? Is an object of OI type something like a program to react to events? I can't make the slightest sense of Kieburtz's OI co-monad, with commands like coGetChar :: OI Handle -> Char. Peter Hancock

4 6

how to use POSIX function utime?
by David Roundy 28 Mar '03

28 Mar '03

I'm trying to figure out how to use the POSIX function utime. I'm pretty much stumped at the moment, largely because I can't figure out how to do anything useful with ClockTime variables. I can't see any way to make use of GHC.Posix.utime, as it gives a binding to the utime function, but the argument is of type Ptr (), and I can't see how to make this to a pointer to the contents of a pair of ClockTimes. I had thought that I could just write my own utime wrapper in C, but I'm still stumped on getting anything out of a ClockTime! The problem is that I would like my code to be portable, so I can't assume a ClockTime is a UInt32 (or that a time_t is a 32 bit int). Any ideas how I can get around this? The only idea I have at the moment is to define a MyClockTime which is always a UInt64 and then do in my C wrapper I could cast back and forth from time_t to an int64 type. Ugh. -- David Roundy http://www.abridgegame.org

2 2

Re: how to track down infinite loop?
by David Roundy 26 Mar '03

26 Mar '03

On Wed, Mar 26, 2003 at 07:40:30AM -0800, Andy Moran wrote: > On Wednesday 26 March 2003 07:23 am, David Roundy wrote: > > I would try using Debug.Trace.trace. It takes a string and an expression, > and returns the expressions while outputting the string to stderr (I > think). You can choose your own mnemonics to prevent the truncation > problem. Thanks for the hint! I like trace, strongly reminiscent of the good old technique of sprinkling printfs around. :) It turned out the problem was running sequence on an infinite list of type [Maybe a]. In retrospect obvious, but sort of hard to notice (especially since the infinite list is created in a different module from the sequence call. Fortunately, in this case it is safe to just truncate the list to some large size (since the function in question is only used in the quickChecking code, and not in the actual code). -- David Roundy http://civet.berkeley.edu/droundy/

1 0

how to track down infinite loop?
by David Roundy 26 Mar '03

26 Mar '03

Hello. I've got an infinite loop (I think) which I recently introduced to my code (the visible symptom is stack space overflow), and am wondering if there is an easier way to figure out where it might be. The problem being that I've made a rather large number of changes (all of which are mutually dependent). In the past, I've used ghc's heap profiling to track this sort of thing down, as I can pretty easily trace from that what functions were called in the infinite loop. The problem I'm now having is that the string describing the call stack is truncated too much, so I can't see who the real culprit is. I know the best thing would be to go over all my changes with a fine-toothed comb, but it would be nice to have an idea where to look. Actually, it's not all that much new code, but I usually find it hard to see a bug that I've written myself... Any ideas for tricks to see where a program is looping indefinitely? I'm sure I can track down this bug pretty easily, but is seems like this is something one really ought to be able to do... -- David Roundy http://civet.berkeley.edu/droundy/

2 1

RE: Asynchronous exceptions and "resume"
by Simon Marlow 26 Mar '03

26 Mar '03

> Hi all, is there a way, or is it planned to, or has anyone published > articles on... resuming from asynchronous exceptions? > > I mean: it would be useful there was a > > suspend :: ThreadID -> IO () > > where the result is the remaining computation of the other > thread, wich > one could forkIO again, or simply run in the current thread. This is fairly easy to implement in GHC. Simple call Schedule.c:raiseAsync() with NULL for the exception, and make it return the final closure after it has stripped the thread's stack. Entering that closure should restart the thread's computation exactly where it left off. If the thread was blocked on something (eg. takeMVar), then it should restart the blocking operation. The types aren't quite right: the closure you get back will behave like an application of unsafePerformIO, so you will need to wrap it using eg. Control.Exception.evaluate to get an IO action. I'm sure there are plenty of cool uses for this... Cheers, Simon

1 0

Asynchronous exceptions and "resume"
by Nick Name 26 Mar '03

26 Mar '03

Hi all, is there a way, or is it planned to, or has anyone published articles on... resuming from asynchronous exceptions? I mean: it would be useful there was a suspend :: ThreadID -> IO () where the result is the remaining computation of the other thread, wich one could forkIO again, or simply run in the current thread. If this is not possible, it would still be useful that the IO action returned by "suspend" would only "resume" the other thread, as an alternative to a brutal "kill" wich destroys any work done by the other thread. The first form seems interesting when one wants to fork off a long computation, but wants the ability to wait for it again if necessary; pointers to articles are always appreciated. Vincenzo

1 1

(no subject)
by Mrs.Sese-seko 26 Mar '03

26 Mar '03

Dear friend, I am Mrs. Sese-Seko widow of late president Mobutu Sese-Seko of zaire? now known as democratic republic of congo (drc). I am moved to write you this letter, this was in confidence considering my present circumstance and situation. I escaped along with my husband and two of our sons Theophilus and Basher out of Democratic Republic of Congo (DRC) to Abidjan, cote d'ivoire where my family and I settled, while we later moved to settled in morroco where my husband later died of cancer disease. However due to this situation we decided to changed most of my husband's billions of dollars deposited in swiss bank and other countries into other forms of money coded for safe purpose because the new head of state of (dr) Mr, laurent kabila has made arrangement with the swiss government and other european countries to freeze all my late husband's treasures deposited in some european countries. hence my children and I decided laying low in Africa to study the situation till when things gets better. Now that President kabila is dead and the son taking over (Joseph kabila). one of my late husband's chateaux in southern france was confiscated by the french government, and as such I had to change my identity so that my investment will not be traced and confiscated. I have deposited the sum Thirty Million United State Dollars(US$30,000,000,00.) with a security company , for safekeeping. The funds are security coded to prevent them from knowing the content. What I want you to do is to indicate your interest that you will assist us by receiving the money on our behalf. Acknowledge this message, so that I can introduce you to my son (Theophilus) who has the out modalities for the claim of the said funds. I want you to assist in investing this money, but I will not want my identity revealed. I will also want to buy properties and stock in multi-national companies and to engage in other safe and non-speculative investments. May I at this point emphasise the high level of confidentiality, which this business demands, and hope you will not betray the trust and confidence, which I repose in you. in conclusion, if you want to assist us , my son shall put you in the true picture of the business, tell you where the funds are currently being maintained and also discuss other modalities including remuneration for your services. For this reason kindly furnish us your contact information, that is your personal telephone and fax number for confidential purpose. Best regards, Mrs,sese-seko

9 9