- Haskell-Cafe - Haskell.org

data Color3 a = Color3 !a !a !a
by Daryoush Mehrtash 08 Jul '08

08 Jul '08

Can some one explain what the !a does in this: data Color3<http://cvs.haskell.org/Hugs/pages/libraries/OpenGL/Graphics-Rendering-OpenG…>a = Color3<http://cvs.haskell.org/Hugs/pages/libraries/OpenGL/Graphics-Rendering-OpenG…>!a !a !a http://cvs.haskell.org/Hugs/pages/libraries/OpenGL/Graphics-Rendering-OpenG… Thanks, Daryoush

4 3

Swapping Monads
by Dominic Steinitz 08 Jul '08

08 Jul '08

I have a solution so this is for interest only. It is not normally the case that two monads compose to give another monad. Monad transformers capture when this is possible. However, when there is a "swap" function satisfying some commutative diagrams then it can be proved that the monads compose to produce a monad. Is there such a swap function in a library? I had a look in the comprehensive category-extra package but couldn't find anything. Here's two possible implementations. Big caveat: I haven't proved that these satisfy the commutative diagrams but I am confident that they will. Option 1 define swap :: (Functor m, Monad m) => Either String (m a) -> m (Either String a) swap (Left s) = return (Left s) swap (Right x) = fmap Right x Option 2 use Traversable (EvilTerran's suggestion) instance F.Foldable (Either String) where foldMap f (Left s) = mempty foldMap f (Right x) = f x instance T.Traversable (Either String) where traverse f (Left s) = pure (Left s) traverse f (Right x) = Right <$> f x and now you can use T.sequence to swap the monads around. For further information see Composing Monads by Mark Jones and Luc Duponcheel and Toposes, Triples and Theories by Barr & Wells (Section 9.2). Dominic.

2 1

extensible data types in Haskell?
by David Walker 08 Jul '08

08 Jul '08

Hi all, SML conveniently contains the type "exn" which is an instance of an "extensible data type". In other words, unlike normal data types that are "closed" (can't admit new constructors once defined), SML's exn type is "open," allowing programmers to keep adding new alternatives as often as they choose. Like normal datatypes, the elimination form for an extensible data type is a case statement (or match function). Friends have told me that Haskell doesn't have extensible data types. However, it seems fairly straightforward to code them up using type classes....though the solution I'm thinking of has a little bit of boilerplate I'd like to scrap (you have to define a new type declaration *and* an instance of a type class with a "match" method) and matching occurs through a string comparison (which can lead to silly programmer errors if there is accidentally a typo in the string). Anyway, it's possible with some thought I could come up with a better solution, but before worrying about it, I figured I'd ask if anybody else already has a package that does this. It seems like a pretty natural feature to want to have. Thanks in advance, Dave

4 4

Hoogle often updates ?
by L.Guo 08 Jul '08

08 Jul '08

Hi Haskellers: I have just been asked for usage of timer in haskell. Which I did not remember clearly. So I ask the search engine. In Hoogle: timer In Google: haskell timer After I tried these, I wonder, when and how often the hoogle update its database? And, could hoogle search range cover the hackages? I like hoogle engine. Bcuz it is a very usful tool which helps me learn haskell. Wish it better. Regards -------------- L.Guo 2008-07-08

2 1

Avoiding lazy evaluation in an ErrorT computation
by Tim Bauer 07 Jul '08

07 Jul '08

The file below models a problem I have been trying to figure out. This file simplifies my original code, while still illustrating the problem. > import Prelude hiding (catch) > import Control.Monad.Reader > import Control.Monad.Error > import Control.Exception > import System.IO(readFile) > import Data.Either(either) Our monad transformer is an ErrorT which wraps the IO monad. ErrorT allows us to use throwError, but we won't use it in this example. > type T a = ErrorT String IO a The following runs a (T a) in the context of the IO monad. We wrap runErrorT in try so as to catch things like division by zero and what not. > doTinIO :: T a -> IO (Either String a) > doTinIO ta = do > exesa <- try (runErrorT ta) -- IO (Either Exception (Either String a)) > return $ case exesa of > Left x -> Left ("EX: "++(show x)) > Right esa -> esa > > boom = 1 `div` 0 > b1 = return boom :: T Int > bad = doTinIO b1 The above, bad, results in: Right *** Exception: divide by zero My hope was to get Left "EX: divide by zero" I cannot understand why the `try' does not get a chance at the erroneous calculation. That is, I want the try to catch the runtime exception. Indeed, if the IO computation is strictly computed, I get the proper result. > g1 = boom `seq` (return boom :: T Int) > good = doTinIO g1 Stuff that raises exceptions in IO actions does not work either. > g2 = doTinIO (return boom) Results in: ``Right *** Exception: divide by zero'' However, other actions that do raise errors work correctly. It appears the value of the computation must be used as the next two examples show. > g3 = doTinIO (liftIO (readFile "nonexistent")) > g4 = doTinIO (liftIO (print boom)) My problem is that I control `doTinIO', but someone else provides the computation (T a). I cannot force callers to strictly evaluate their computations. I've tried three other variants (given below) that are all nearly equivalent. > handler :: Exception -> IO (Either String a) > handler = return . Left . ("EX: "++) . show > > doTinIO2 :: T a -> IO (Either String a) > doTinIO2 ta = catch (runErrorT ta >>= evaluate) handler > > doTinIO3 :: T a -> IO (Either String a) > doTinIO3 ta = do > esa <- catch (runErrorT ta) handler > case esa of > Right a -> catch (evaluate (return a)) handler > l -> return l > > doTinIO4 :: T a -> IO (Either String a) > doTinIO4 ta = catch (runErrorT ta) handler *Main> doTinIO2 b1 Right *** Exception: divide by zero *Main> doTinIO3 b1 Right *** Exception: divide by zero *Main> doTinIO4 b1 Right *** Exception: divide by zero Any suggestions? Thanks all.

4 3

A Monad for on-demand file generation?
by Joachim Breitner 07 Jul '08

07 Jul '08

Hi, for an application such as a image gallery generator, that works on a bunch of input files (that are assumed to be constant during one run of the program) and generates or updates a bunch of output files, I often had the problem of manually tracking what input files a certain output file depends on, to check the timestamps if it is necessary to re-create the file. I thought a while how to do this with a monad that does the bookkeeping for me. Assuming it’s called ODIO (On demand IO), I’d like a piece of code like this: do file1 <- readFileOD "someInput" file2 <- readFileOD "someOtherInput" writeFileOD "someOutput" (someComplexFunction file1 file2) only actually read "someInput" and "someOtherInput", do the calculation and write the output if these have newer time stamps than the output. The problem I stumbled over was that considering the type of >>= (>>=): Monad m => m a -> (a -> m b) -> m b means that I can not „look ahead“ what files would be written without actually reading the requested file. Of course this is not always possible, although I expect this code to be the exception: do file1 <- readFileOD "someInput" file2 <- readFileOD "someOtherInput" let filename = decideFileNamenameBasedOn file2 writeFileOD filename (someComplexFunction file1 file2) But assuming that the input does not change during one run of the program, it should be safe to use "unsafeInterleaveIO" to only open and read the input when used. Then, the readFileOD could put the timestamp of the read file in a Monad-local state and the writeFileOD could, if the output is newer then all inputs listed in the state, skip the writing and thus the unsafeInterleaveIO’ed file reads are skipped as well, if they were not required for deciding the flow of the program. One nice thing is that the implementation of (>>) knows that files read in the first action will not affect files written in the second, so in contrast to MonadState, we can forget about them, which I hope leads to quite good guesses as to what files are relevant for a certain writeFileOD operation. Also, a function cacheResultOD :: (Read a, Show a) => FilePath -> a -> ODIO a can be used to write an (expensive) intermediate result, such as the extracted exif information from a file, to disk, so that it can be used without actually re-reading the large image file. Is that a sane idea? I’m also considering to use this example for a talk about monads at the GPN¹ next weekend. Greetings, Joachim ¹ http://entropia.de/wiki/GPN7 -- Joachim "nomeata" Breitner mail: mail(a)joachim-breitner.de | ICQ# 74513189 | GPG-Key: 4743206C JID: nomeata(a)joachim-breitner.de | http://www.joachim-breitner.de/ Debian Developer: nomeata(a)debian.org

10 19

type classes
by Cotton Seed 07 Jul '08

07 Jul '08

Hi everyone, I'm working on a computational algebra program and I've run into a problem. In my program, I have types for instances of algebraic objects, e.g. ZModN for modular integers, and types for the objects themselves, e.g. ZModNTy for the ring of modular integers. Now, I want to subclass ZModNTy from something like class RingTy a b where order :: a -> Integer units :: a -> [b] where `a' represents algebraic object, and `b' the type of instances of that object. I want an instance instance RingTy ZModNTy ZModN where ... but then code that only uses order fails with errors like No instance for (RingTy ZModNTy b) arising from a use of `order' at Test2.hs:16:8-15 since there is no constraint on the second type variable. I think what I really want is class RingTy a where order :: a b -> Integer units :: a b -> [b] but this doesn't work either since ZModNTy is not parametric in its type like, say, `Polynomial a' is. Is this a common problem? Is there a standard way to handle it? Thank you for your attention, Cotton

5 7

parsec linking problem
by naruto canada 07 Jul '08

07 Jul '08

hi I've just managed to get ghc-6.8.3 installed and tried to run an example from "http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours/Parsing" I run into linking error with parsec: Here is the code: module Main where import System.Environment import Text.ParserCombinators.Parsec hiding (spaces) symbol :: Parser Char symbol = oneOf "!#$%&|*+-/:<=>?@^_~" main :: IO () main = do -- args <- getArgs -- putStrLn ("Hello, " ++ (args!!0) ++ " " ++ (args!!1) ) -- putStrLn ( show( read(args!!0) + read(args!!1) ) ) putStrLn ( "give me a name:" ) name <- getLine putStrLn ( name ) ghc -o /tmp/a.out accu.hs accu.o: In function `so8_info': : undefined reference to `parseczm2zi1zi0zi1_TextziParserCombinatorsziParsecziChar_oneOf_closure' accu.o: In function `spP_info': : undefined reference to `__stginit_parseczm2zi1zi0zi1_TextziParserCombinatorsziParsec_' accu.o: In function `so8_closure': : undefined reference to `parseczm2zi1zi0zi1_TextziParserCombinatorsziParsecziChar_oneOf_closure' collect2: ld returned 1 exit status Thanks my installation steps (just in case you need to know): WGET_UNPACK http://ftp.gnu.org/gnu/readline/readline-4.3.tar.gz ./configure --prefix=/usr make clean ; make || INTERVENTION find . -name libhistory.so* find . -name libreadline.so* cp shlib/libhistory.so.4.3 /lib cp shlib/libreadline.so.4.3 /lib ln -sfvn libhistory.so.4.3 /lib/libhistory.so.4 ln -sfvn libreadline.so.4.3 /lib/libreadline.so.4 WGET_UNPACK http://haskell.org/ghc/dist/6.8.2/ghc-6.8.2-i386-unknown-linux.tar.bz2 cd ghc-6.8.2 autoreconf ./configure --prefix=/usr make install echo 'main = putStrLn "hello"' > t.hs ghc t.hs ./a.out | grep hello || INTERVENTION rm -rf /build/ghc-6.8.2 WGET_UNPACK http://haskell.org/ghc/dist/6.8.3/ghc-6.8.3-src-extralibs.tar.bz2 WGET_UNPACK http://haskell.org/ghc/dist/6.8.3/ghc-6.8.3-src.tar.bz2 cd ghc-6.8.3 autoreconf ./configure --prefix=/usr make clean ; make || INTERVENTION make || INTERVENTION make install echo 'main = putStrLn "hello"' > t.hs ghc t.hs ./a.out | grep hello || INTERVENTION ghc --version | grep 6.8.3 || INTERVENTION

2 2

Re: [Gtk2hs-users] ANN: Gtk2Hs 0.9.13 released
by Peter Gavin 07 Jul '08

07 Jul '08

Peter Hercek wrote: > Thanks for the package. > I experienced some bugs with it on windows. When showing a dynamically > built context menu, I'm getting errors like these: > > _cairo_win32_surface_show_glyphs(ExtTextOutW failed): The operation completed successfully. > _flush_glyphs: The operation completed successfully. > > ... and the text of some menu items is not shown (otherwise the menu > items do work - actions are called when they are clicked). > > When I try to run the app under ghci I get error like this: > > Loading package glib-0.9.13 ... <interactive>: Unknown PEi386 section name `.reloc' (while processing: > C:/tools/Gtk2Hs/HSglib.o) > ghc.exe: panic! (the 'impossible' happened) > (GHC version 6.8.3 for i386-unknown-mingw32): > loadObj: failed > Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > > Using older Gtk (2.10.13) helps for the first one. > Using my own compile of Gtk2Hs (I compiled older version 0.9.12.1 > myself) helps for the second one. > > Peter. Hi Peter, The first problem looks like a problem in cairo. I'm pretty sure the functions named are cairo internal API, you may want to report a bug to their list. I suppose it's possible those functions always print the error message (even on success), but behave correctly otherwise. It looks like the second problem is a GHC bug, since there isn't anything special about our library (that I can think of) that might cause that to happen. Pete > > Peter Gavin wrote: >> Hello everyone, >> >> Gtk2Hs version 0.9.13 is now available. [1] >> >> New features: >> >> * bindings for Gnome VFS and GStreamer >> * a new Gtk+ tutorial has been adapted by Hans van Thiel >> * cairo image stride support >> * many new demos >> * compiles with GHC 6.8.3 >> * lots of bug fixes >> >> This release has been tested on a variety of platforms with different >> versions of Gtk+ and GHC, so you should have no trouble compiling it if >> you're using an older version of Gtk+. >> >> Note that the binaries for Win32 for this release are only provided for >> GHC 6.8.3 and Gtk+ 2.12. As with older releases, all the C libraries >> needed are included in the installer, so you don't need to download >> anything else to get up an running. I've also created zip files >> containing only the C libraries that can be used for redistribution. >> The sources for these binaries are available at [2] >> >> Links: >> [1] >> http://sourceforge.net/project/showfiles.php?group_id=49207&package_id=42440 >> [2] http://ftp.gnome.org/pub/GNOME/sources/ >> >> >> -- >> Pete >> >> ------------------------------------------------------------------------- >> Check out the new SourceForge.net Marketplace. >> It's the best place to buy or sell services for >> just about anything Open Source. >> http://sourceforge.net/services/buy/index.php > > > > ------------------------------------------------------------------------- > Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! > Studies have shown that voting for your favorite open source project, > along with a healthy diet, reduces your potential for chronic lameness > and boredom. Vote Now at http://www.sourceforge.net/community/cca08 > _______________________________________________ > Gtk2hs-users mailing list > Gtk2hs-users(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/gtk2hs-users

1 0

ANN: Gtk2Hs 0.9.13 released
by Peter Gavin 07 Jul '08

07 Jul '08

Hello everyone, Gtk2Hs version 0.9.13 is now available. [1] New features: * bindings for Gnome VFS and GStreamer * a new Gtk+ tutorial has been adapted by Hans van Thiel * cairo image stride support * many new demos * compiles with GHC 6.8.3 * lots of bug fixes This release has been tested on a variety of platforms with different versions of Gtk+ and GHC, so you should have no trouble compiling it if you're using an older version of Gtk+. Note that the binaries for Win32 for this release are only provided for GHC 6.8.3 and Gtk+ 2.12. As with older releases, all the C libraries needed are included in the installer, so you don't need to download anything else to get up an running. I've also created zip files containing only the C libraries that can be used for redistribution. The sources for these binaries are available at [2] Links: [1] http://sourceforge.net/project/showfiles.php?group_id=49207&package_id=42440 [2] http://ftp.gnome.org/pub/GNOME/sources/ -- Pete

2 2