April 2003 - Haskell-Cafe

Re: Writing for both State and StateT
by Derek Elkins 22 Apr '03

22 Apr '03

I had a similar problem, but that was because I needed to use the constructors. MonadState has the methods you are using just write your code requiring MonadState as both State and StateT are instances. next_random_probability :: ( ..., MonadState g m) => m a >From: "Mark T.B. Carroll" <Mark.Carroll(a)Aetion.com> >To: haskell-cafe(a)haskell.org >Subject: Writing for both State and StateT >Date: Tue, 22 Apr 2003 07:48:57 -0400 (EDT) > >At the moment I have code like, > > >next_random_probability :: (RandomGen g, Num a, Random a) => State g a > >next_random_probability = > do old_rng <- get > let (random_probability, new_rng) = randomR (0, 1) old_rng > put new_rng > return random_probability > >next_random_probabilityT :: (RandomGen g, Num a, Random a, Monad m) => >StateT g m a > >next_random_probabilityT = > do old_rng <- get > let (random_probability, new_rng) = randomR (0, 1) old_rng > put new_rng > return random_probability > > >Because these just use get and put which are both from MonadState, is it >possible to write just one next_random_probability with a more general >type signature, maybe mentioning MonadState, or at least two wrappers that >call the same worker function, so that the same code is good for both >State and StateT? > >-- Mark > >_______________________________________________ >Haskell-Cafe mailing list >Haskell-Cafe(a)haskell.org >http://www.haskell.org/mailman/listinfo/haskell-cafe _________________________________________________________________ Protect your PC - get McAfee.com VirusScan Online http://clinic.mcafee.com/clinic/ibuy/campaign.asp?cid=3963

2 1

Writing for both State and StateT
by Mark T.B. Carroll 22 Apr '03

22 Apr '03

At the moment I have code like, next_random_probability :: (RandomGen g, Num a, Random a) => State g a next_random_probability = do old_rng <- get let (random_probability, new_rng) = randomR (0, 1) old_rng put new_rng return random_probability next_random_probabilityT :: (RandomGen g, Num a, Random a, Monad m) => StateT g m a next_random_probabilityT = do old_rng <- get let (random_probability, new_rng) = randomR (0, 1) old_rng put new_rng return random_probability Because these just use get and put which are both from MonadState, is it possible to write just one next_random_probability with a more general type signature, maybe mentioning MonadState, or at least two wrappers that call the same worker function, so that the same code is good for both State and StateT? -- Mark

1 0

GHC XmlParse
by Christof Lehmann 22 Apr '03

22 Apr '03

Hello, I have a small program with a 'import XmlParse' - statement. During compiling with ghc --make main.hs I get following error message ghc-5.02.2: chasing modules from: main.hs ghc-5.02.2: can't find module `XmlTypes' Ghc finds modules like IO and System. Which option do I need, that ghc finds the Xml... - modules. thanks -- Christof Lehmann VUB Printmedia GmbH Berlin Bonn Dresden Köln Leipzig Chopinstr. 4 TEL: +49 341 960 50 93 04103 Leipzig FAX: +49 341 960 50 92

2 1

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

idea: chroot :: FilePath -> IO a -> IO a
by David Roundy 21 Apr '03

21 Apr '03

I have the idea that we ought to be able to implement the equivalent of a unix chroot command, but all within the haskell IO monad. So the idea would be that if I want to do some operation that only requires access to, say /var/cache/test, but involves user-provided input which I don't trust (and if I don't want to trust the security of my parsing of the possibly malicious input), I could run: chroot "/var/cache/test" $ complicated_function "/" scary_user_input which would be the equivalent of complicated_function "/var/cache/test" scary_user_input except that every file and directory access (read or write or stat or whatever) would be forced to be in a subdirectory of /var/cache/test. Moreover, calls such as system would not be allowed (that is, they'd throw an isChrootError exception), since such calls of course could not be verified to touch no file outside of /var/cache/test (at least not using only haskell). Actually, there are two ways this could be done. One is the one mentioned above, which is roughly equivalent to a unix chroot. Another (now that I think about it, probably more elegant) would be to implement a restrict_access type of function, which wouldn't change the meaning of any file paths as a chroot does, but would simply cause any access outside of the specified directory to fail. This would have the advantage of being transparent to the writer of complicated_function--and might be extended to allow access to more than one directory (e.g. for a webserver of only static pages maybe /var/www and /etc/myserver/). As I see it, implementing such a function would require support in the IO monad (some of which may already be there?), since it would need to know for each primitive operation which arguments are file paths, plus whether that operation is even legal in a chroot environment. Or perhaps it's the other way around, and every primitive operation would need to support chroot... I know I would find such a function exceedingly comforting, since I wonder from time to time what would happen if users stick weird filenames in the wrong places, or make symlinks to things they should not have access to. And the cool thing is that with haskell's monadic IO, I think it could be done in a very elegant manner, and in such a way that it is natural (and simple) to wrap a chroot around individual operations, giving finer grained control than I can imagine doing any other way. Any ideas whether such a feat would be possible, and if so how hard it would be? -- David Roundy http://www.abridgegame.org

2 1

Re: HI
by bullins39434＠aol.com 17 Apr '03

17 Apr '03

http://www.loanhunters.org/ Hello, Well you asked for it. This is the website that got me that 5.125% mortgage. You simple fill out the form and lenders compete for your business. http://www.loanhunters.org/ thanks, Richard Murphy Remove: http://www.loanhunters.bz/mort/rem/

1 0

Re: Parsec question
by Sarat Chandra 17 Apr '03

17 Apr '03

Thanks, "uust" was the missing link. --- Doaitse Swierstra <doaitse(a)cs.uu.nl> wrote: >It is in: > >http://cvs.cs.uu.nl/cgi-bin/cvsweb.cgi/uust/lib/ > >As far as I can see you should be able to check the whole uust tree out, > > Doaitse > > >On donderdag, apr 17, 2003, at 17:06 Europe/Amsterdam, Sarat Chandra >wrote: > >> Doaitse, >> >> I can't find the "Parsing" directory. May be the directory is not >> made visible to public. However, under the "PC" directory, I see >> UU_Parsing.hs and other files (but no examples directory). Can you >> please check it. >> >> Thanks. >> >> --- Doaitse Swierstra <doaitse(a)cs.uu.nl> wrote: >>> Parsec cannot do this. If you want this behaviour check out the >>> Parsing >>> library at cvs.cs.uu.nl (directory lib). In the examples directory you >>> find an example parser for Haskell written using these combinators. At >>> the top level there is also a Tiger compiler that is written with >>> these >>> combinators, >>> >>> Doaitse Swierstra >>> >>> >>> On woensdag, apr 16, 2003, at 12:00 Europe/Amsterdam, Sarat Chandra >>> wrote: >>> >>>> I am using Parsec to write a parser. I would like to know >>>> how parse-errors can be accumulated without stopping at the >>>> first error. I would like to skip the input upto some >>>> synchronization point (for e.g a semi-colon) and continue parsing >>>> from there. Thanks. >>>> >>>> _____________________________________________________________ >>>> Get your own FREE e-mail account at http://www.volcanomail.com >>>> >>>> _____________________________________________________________ >>>> Select your own custom email address for FREE! Get you(a)yourchoice.com >>>> w/No Ads, 6MB, POP & more! >>>> http://www.everyone.net/selectmail?campaign=tag >>>> _______________________________________________ >>>> Haskell-Cafe mailing list >>>> Haskell-Cafe(a)haskell.org >>>> http://www.haskell.org/mailman/listinfo/haskell-cafe >> >> _____________________________________________________________ >> Get your own FREE e-mail account at http://www.volcanomail.com >> >> _____________________________________________________________ >> Select your own custom email address for FREE! Get you(a)yourchoice.com >> w/No Ads, 6MB, POP & more! >> http://www.everyone.net/selectmail?campaign=tag >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe _____________________________________________________________ Get your own FREE e-mail account at http://www.volcanomail.com _____________________________________________________________ Select your own custom email address for FREE! Get you(a)yourchoice.com w/No Ads, 6MB, POP & more! http://www.everyone.net/selectmail?campaign=tag

1 0

Re: Parsec question
by Sarat Chandra 17 Apr '03

17 Apr '03

Doaitse, I can't find the "Parsing" directory. May be the directory is not made visible to public. However, under the "PC" directory, I see UU_Parsing.hs and other files (but no examples directory). Can you please check it. Thanks. --- Doaitse Swierstra <doaitse(a)cs.uu.nl> wrote: >Parsec cannot do this. If you want this behaviour check out the Parsing >library at cvs.cs.uu.nl (directory lib). In the examples directory you >find an example parser for Haskell written using these combinators. At >the top level there is also a Tiger compiler that is written with these >combinators, > > Doaitse Swierstra > > >On woensdag, apr 16, 2003, at 12:00 Europe/Amsterdam, Sarat Chandra >wrote: > >> I am using Parsec to write a parser. I would like to know >> how parse-errors can be accumulated without stopping at the >> first error. I would like to skip the input upto some >> synchronization point (for e.g a semi-colon) and continue parsing >> from there. Thanks. >> >> _____________________________________________________________ >> Get your own FREE e-mail account at http://www.volcanomail.com >> >> _____________________________________________________________ >> Select your own custom email address for FREE! Get you(a)yourchoice.com >> w/No Ads, 6MB, POP & more! >> http://www.everyone.net/selectmail?campaign=tag >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe _____________________________________________________________ Get your own FREE e-mail account at http://www.volcanomail.com _____________________________________________________________ Select your own custom email address for FREE! Get you(a)yourchoice.com w/No Ads, 6MB, POP & more! http://www.everyone.net/selectmail?campaign=tag

2 1

Parsec question
by Sarat Chandra 16 Apr '03

16 Apr '03

I am using Parsec to write a parser. I would like to know how parse-errors can be accumulated without stopping at the first error. I would like to skip the input upto some synchronization point (for e.g a semi-colon) and continue parsing from there. Thanks. _____________________________________________________________ Get your own FREE e-mail account at http://www.volcanomail.com _____________________________________________________________ Select your own custom email address for FREE! Get you(a)yourchoice.com w/No Ads, 6MB, POP & more! http://www.everyone.net/selectmail?campaign=tag

2 1

Say�n haskell-cafe ,Baskuda.Com`da Bebek / Oyuncak Kategorisi A��ld�!
by Baskuda-4233 16 Apr '03

16 Apr '03

1 0