- Haskell-Cafe - Haskell.org

Now solved [was RE: Problem with backtracking monad transformer]
by Guest, Simon 31 Jan '03

31 Jan '03

Andrew Bromage wrote: > > You may have meant to stack the monad transformers in a different > > order. I finally understand. This was exactly my problem. I had to discard my state monad, and use a state monad transformer on the simple backtracking monad (not the backtracking monad transformer on the state monad). Now it works fine (of course). Thanks for the help. cheers, Simon

1 0

Nine open CSE positions at Chalmers
by Patrik Jansson 31 Jan '03

31 Jan '03

The School of Computer Science and Engineering (at Chalmers Univ. in Gotheburg, Sweden) announces 9 open positions (teaching+research): http://www.cse.chalmers.se/doit/doiteng/vacancies/positions.html Apply or spread the word! (List relevance: Many of us use Haskell both in teaching and in research.) /Patrik PS. From my point of view, Haskellers with a background in Software Engineering / Information systems / Human Computer Interaction etc. are extra welcome!

1 0

``Cannot instantiate a type variable with a forall-type''
by Jon Cast 30 Jan '03

30 Jan '03

Why does GHC place this constraint? I would expect forall to be predicative, and a type variable to range over all types, but obviously I'm missing something. Jon Cast

1 0

List comprehensions
by Rijk J. C. van Haaften 30 Jan '03

30 Jan '03

Hello, Recently, I came accross this expression: [ x + y | x <- xs | y <- ys ] As far as I can see (Haskell Report), this is not allowed by the haskell 98 standard. So I assume it to be an ex- tension. Where can I find information about this? Thanks, Rijk

5 6

Problem with backtracking monad transformer
by Guest, Simon 30 Jan '03

30 Jan '03

I'm trying to make a backtracking state monad using Ralf Hinze's backtracking monad transformer. My problem is that it won't backtrack very far. Suppose I try ( a >> b ) `mplus` c. If b fails, it should try c, but it doesn't rewind past a. My sample code is below. GHCI> c [0,1] match_1 -- (1 or 0) then 1, OK GHCI> c [1,0] match_2 -- (1 then 0) or (1,1), OK GHCI> c [1,1] match_2 -- (1 then 0) or (1,1), fails What have I misunderstood? cheers, Simon (A disclaimer in an attachment? - it wasn't my idea.) -- backtracking state monad -- requires -fglasgow-exts import qualified Monad as M import qualified Control.Monad.Trans as MT -- turn tracing on and off by uncommenting just one of the following lines import Debug.Trace( trace ) --trace s x = x -- -- Ralf Hinze's efficient backtracking monad transformer -- newtype BACKTR m a = BACKTR { mkBACKTR :: (forall b. (a -> m b -> m b) -> m b -> m b) } instance (Monad m) => Monad (BACKTR m) where return a = BACKTR (\c -> c a) m >>= k = BACKTR (\c -> mkBACKTR m (\a -> mkBACKTR (k a) c)) -- We don't use a Backtr class, but do it with the MonadPlus class, -- mzero is false (fail), -- mplus is ¦ (orelse) instance (Monad m) => M.MonadPlus (BACKTR m) where mzero = BACKTR (\c -> id) m1 `mplus` m2 = BACKTR (\c -> mkBACKTR m1 c . mkBACKTR m2 c) -- standard MonadTrans class has lift for promote, and doesn't have observe instance MT.MonadTrans BACKTR where lift m = BACKTR (\c f -> m >>= \a -> c a f) observe :: (Monad m) => BACKTR m a -> m a observe m = mkBACKTR m (\a f -> return a) (fail "false") -- -- State Monad -- data SM st a = SM (st -> (a,st)) -- The monadic type instance Monad (SM st) where -- defines state propagation SM c1 >>= fc2 = SM (\s0 -> let (r,s1) = c1 s0 SM c2 = fc2 r in c2 s1) return k = SM (\s -> (k,s)) -- extracts the state from the monad readSM :: SM st st readSM = SM (\s -> (s,s)) -- updates the state of the monad updateSM :: (st -> st) -> SM st () -- alters the state updateSM f = SM (\s -> ((), f s)) -- run a computation in the SM monad runSM :: st -> SM st a -> (a,st) runSM s0 (SM c) = c s0 -- backtracking state monad -- type NDSM st a = BACKTR (SM st) a readNDSM :: NDSM st st readNDSM = MT.lift readSM updateNDSM :: (st -> st) -> NDSM st () updateNDSM f = MT.lift (updateSM f) --run a computation in the NDSM monad runNDSM :: st -> NDSM st a -> (a,st) runNDSM s0 m = runSM s0 (observe m) -- -- the state -- type Bit = Int data CState = CState { ok :: Bool, remaining_data :: [Bit], history :: [String] -- log, kept in reverse } deriving Show initState xs = CState True xs [] -- prepend a message in the log logit :: CState -> String -> CState logit s logmsg = s { history = logmsg : (history s) } -- -- matching action -- match_bits :: [Bit] -> NDSM CState () match_bits xs = do s <- readNDSM let s' = logit s ("attempt match_bits " ++ show xs ++ " remaining: " ++ show (remaining_data s)) s'' = if xs == take (length xs) (remaining_data s') then s' { remaining_data = drop (length xs) (remaining_data s') } else s' { ok = False } if ok s'' then updateNDSM (\s -> s'') else trace (unlines $ "MATCH FAILED":(reverse $ history s'')) M.mzero -- -- test routines -- -- just fine match_1 = (match_bits [1] `M.mplus` match_bits [0]) >> match_bits [1] -- this one only rewinds past the [0] attempt, not the [1] attempt match_2 = ( (match_bits [1] >> match_bits [0]) `M.mplus` match_bits [1, 1] ) c :: [Bit] -> NDSM CState () -> ([Bit], [String]) c h hspec = let (v, s) = runNDSM (initState h) hspec in case (ok s) of True -> ([], "ok":(reverse $ history s)) _ -> ([(negate)1], ["fail"])

2 1

RE: List comprehensions
by Jan de Wit 30 Jan '03

30 Jan '03

> Hello, > > Recently, I came accross this > expression: > [ x + y | x <- xs | y <- ys ] > > As far as I can see (Haskell Report), > this is not allowed by the haskell 98 > standard. So I assume it to be an ex- > tension. Where can I find information > about this? This is a parallel list comprehension, a GHC extension. See http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#PA RALLEL-LIST-COMPREHENSIONS for more info. The code above does the same as zipWith (+) xs ys, basically. Cheers, Jan ########################################### This message has been scanned by F-Secure Anti-Virus for Microsoft Exchange. For more information, connect to http://www.F-Secure.com/ ###########################################

1 0

Haskell and professional aspirations.
by guilhermelopes＠netcabo.pt 28 Jan '03

28 Jan '03

Hello there I'm a computer science undergraduate student, and would like to continue (or rather start) working with Haskell after graduation. Which universities welcome postgraduate work using functional programming languages? That is, which groups/departments of which universities should I keep an eye on? Which companies use functional programming for medium-large scale projects? What should be in my curriculum vitae if I wanted to have a good array (hmmm... list!) of offers to choose from? If Haskell is indeed being used professionally, it is responsible for which part of the job? I am aware of some of the issues concerned with "Haskell in the real-world", through haskell.org, and search for an account on the subject more shifted towards personal experience. If you do have experience on working with Haskell, I would love to hear about it. Although this question is essentially personal in nature, I consider it to be (and tried to make it) broad enough to justify its presence here, propped up by Haskell being used around the world for teaching purposes. If you think otherwise, reply directly to my address: tretalhada(a)netcabo.pt . Guilherme Lopes

2 1

RE: Exception handling in GHC - ThrowCatch.hs (1/1)
by Simon Marlow 27 Jan '03

27 Jan '03

> You might be interested in this program to investigate what catches > what. Pinched for GHC's testsuite - thanks very much :) Cheers, Simon

1 0

Creating COM objects and passing out pointers to them via a COM interface
by Sarah Thompson 24 Jan '03

24 Jan '03

Hi again, A slightly harder problem this time. I want to implement something that looks something like the Microsoft XML parser. This is a very COM heavy contraption that provides an interface that looks to client applications like a tree of COM objects that reflects the internal structure of an XML document. The idea is, you start with the document object, make a method call requesting the root node, and have a COM object that wraps that node returned to you. You can then request the children of that node, and their children and siblings, all which involves being passed back interface pointers to COM objects. Effectively, there is one COM object per syntactic item in the XML document. I already have my document object working nicely. This is where the actual database resides. I want to be able to spawn views of this database as COM objects. When I've done this in the past (using ATL mostly, euuuugh), I've used an IDL definition something like HRESULT CreateView([in,string] BSTR query, [out,retval] IDbView **); What's the correct way to implement the necessary Haskell code to create the coclass and return a pointer to it? I fiddled around for ages, but either couldn't get GHC to like the types I was using, or when I finally got it to compile, I found that my test harness was being passed an invalid COM object. This should be simple stuff, so I'm sure someone will have done it! Secondly, it is a nasty, though fairly common trick, if you know your objects are going to be created in the same process space, to allow them some 'behind the scenes' communication. In my case, I'd like to avoid needing to serialise and deserialse the data in a view during creation of these child objects (of which there may be a great many, and which may be created on the fy rather often). Ideally, I'd like to be able to do something like: newView :: String -> State -> IO State newView db (State st) = do db <- readIORef st r <- newIORef db -- Insert some kind of COM magic here return (State r) so the database content gets copied within the Haskell environment (lazily, I'd hope), without needing to be serialised and deserialised. Is this feasible? One (messy) approach might be to create a bunch of extra interfaces on the main database object, then create 'thin wrapper' child objects that simply make calls back into the parent object. I'm not so keen on that for various reasons, however. Sarah

1 0

Exeption handling in GHC
by Sarah Thompson 24 Jan '03

24 Jan '03

Hi all, I'm trying to get exception handling working in GHC, but don't seem to be able to make it work. Am I likely to be missing a compiler switch, or something? Cutting things down to basics, I'd have thought that the following expression (typed at the ghci command prompt) should work: try (error "x") but the result is *** Exception: x I seem to get the same problem with compiled code. Any ideas anyone? TIA, Sarah

4 6