February 2007 - Haskell-Cafe

Re: [Haskell-cafe] IO is not a monad
by Aaron McDaid 07 Feb '07

07 Feb '07

Hi, Apologies for referring to this old thread... I rearranged the code a little bit while experimenting but retained the same behaviour: Prelude> let f = undefined :: Int -> IO Int Prelude> (f 3 >> f 3) `seq` 42 42 Prelude> (f 3) `seq` 42 *** Exception: Prelude.undefined I think this makes it a little simpler for me to see the issue here. Simply, 'undefined >> undefined' is a bit more defined than simply 'undefined'. Just like 'undefined:undefined' is at least a non-empty list; which can be matched by (_:_) for example. This explains the differing behaviour of the two seemingly equivalent actions above. So I think the above behaviour is more to do with how shallow seq is, as others have probably already shown (but much of the rest of the thread is beyond me). Prelude> undefined `seq` 5 *** Exception: Prelude.undefined Prelude> (undefined:undefined) `seq` 5 5 Aaron (relative newbie) > On 1/23/07, Brian Hulley <brianh(a)metamilk.com> wrote: > > Brian Hulley wrote: > > > Brian Hulley wrote: > > >> Yitzchak Gale wrote: > > >>> I wrote: > > >>>>> Prelude> let f = undefined :: Int -> IO Int > > >>>>> Prelude> f `seq` 42 > > >>>>> *** Exception: Prelude.undefined > > >>>>> Prelude> ((>>= f) . return) `seq` 42 > > >>>>> 42 > > >>> The monad laws say that (>>= f) . return must be > > >>> identical to f. > > >> > > >> I thought it was: > > >> > > >> return x >>= f = f x > > >> > > >> so here the lhs is saturated, so will hit _|_ when the action is > > >> executed just as the rhs will. > > > > Ooops! But that does not mean the equation holds because for example > > > > Prelude> (return 3 >>= f) `seq` 42 > > 42 > > Prelude> (f 3) `seq` 42 > > *** Exception: Prelude.undefined > > > > In the lhs you only hit _|_ when the composite (>>=) action is actually > > being executed whereas in the rhs you hit _|_ when computing the function > > which will return the action to execute so there is difference. > > > > Brian. > > -- > > http://www.metamilk.com > > > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > >

2 1

External Core
by Ricky Barefield 07 Feb '07

07 Feb '07

Dear All, For the last year I've been working on a program to translate between Haskell and Java. Originally this was for my third year dissertation to contribute towards my Masters in computer science at Sheffield University, UK. I have been given the opportunity to continue this project and have become interested in using the Core representation as an intermediary language. I understand that GHC can produce 'hcr' files which are specified in "An external representation for the ghc core language" 2001 and to this point I have been successful. I have also downloaded the tools for manipulating Core available from http://darcs.haskell.org/ghc/utils/ext-core/ I've tried running Happy on these files but get the error `Not enough type arguments for the type synonym "P"' when I try to run the resultant Parser.hs in Hugs and similar errors when run in GHC. What I'm trying to achieve is to read the hcr files into a Haskell data type which I could work with, if anyone could give me any help with using the files for manipulating Core I would be very grateful. Many Thanks, Ricky Barefield 4th Yr Undergraduate University of Sheffield

5 4

Trouble representing a set of flags
by Stefan O'Rear 06 Feb '07

06 Feb '07

I have a structure: data Attr = Attr { fg :: !Color, bg :: !Color, bold :: !Bool, blink :: !Bool, rv :: !Bool, halfBright :: !Bool, underline :: !Bool } deriving(Eq,Show,Ord) newtype Color = Color Int deriving(Eq,Show,Ord) but ghc is doing a phenominally bad job of unboxing it; so I'm trying to do it manually using a bitfield: -- |Data type representing character attributes. newtype Attr = Attr Int deriving (Eq) -- | Set the foreground color of an `Attr'. setFG :: Color -> Attr -> Attr setFG (Color c) (Attr a) = Attr ((a .&. 0xFFFFFF00) .|. c) -- | Get the foreground color of an `Attr'. getFG :: Attr -> Color getFG (Attr a) = Color (a .&. 0xFF) -- | Set the background color of an `Attr'. setBG :: Color -> Attr -> Attr setBG (Color c) (Attr a) = Attr ((a .&. 0xFFFF00FF) .|. (c `uncheckedShiftL` 8)) -- | Get the background color of an `Attr'. getBG :: Attr -> Color getBG (Attr a) = Color ((a .&. 0xFF00) `uncheckedShiftR` 8) -- | Set bold attribute of an `Attr'. setBold :: Attr -> Attr setBold (Attr a) = Attr (a .|. 0x10000) -- | Clear bold attribute of an `Attr'. clearBold :: Attr -> Attr clearBold (Attr a) = Attr (a .&. 0xFFFEFFFF) -- | Examine bold attribute of an `Attr'. isBold :: Attr -> Bool isBold (Attr a) = (a .&. 0x10000) /= 0 Urk. this is NO FUN. How do I stop the copy&paste and still generate fast code? Is there a better way? (Also, GHC seems unable to unbox strict fields that are newtypes. Can this be done, or should I abandon type safety and use type synonyms?) (Yes, this is performance critical code, and I have profiler output to back up this claim.) (Should this be directed to glasgow-haskell-users@ ?)

2 2

Newbie: generating a truth table
by phiroc＠free.fr 06 Feb '07

06 Feb '07

Hello, I would like to create a Haskell function that generates a truth table, for all Boolean values, say, using the following "and" function : and :: Bool -> Bool -> Bool and a b = a && b I have tried creating a second function called "loop", which repeatedly calls "and", but it did not work, because, for some reason unknown to me, "do" does not like repeated function calls loop = do and True True and True False and False True and False False Is there a better way to repeatedly call "and"? Furthermore, is there a way in Haskell to loop through the Boolean values (True and False) and call "and" each time? Last but not least, in the "loop" function above, assuming that there is a way to repeatedly call the "and" function, how could you intersperse "printStr"s between the "and" calls? loop = do printStr("Calling and True True returns ") and True True printStr("Calling and True False returns ") and True False printStr("Calling and False True returns ") and False True printStr("Calling and False False returns ") and False False Many thanks. Best regards, phiroc

8 10

blog: Is C# becoming a functional language?
by Bulat Ziganshin 06 Feb '07

06 Feb '07

Hello haskell-cafe, this seems like a comprehensive overview of FP facilities in C# 3.0: http://blogs.msdn.com/madst/archive/2007/01/23/is-c-becoming-a-functional-l… -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1

Generalizing three programs
by Andrew Wagner 06 Feb '07

06 Feb '07

Hi everyone, I've got an interesting problem here I'm trying to solve. Actually, I've got several problems which seem to have a very similar structure. I want to find a way to abstract them to solve other problems which can be thought about in the same way. Here they are: http://hpaste.org/307 http://hpaste.org/308 http://hpaste.org/309 Note that these are just sketches, the programs aren't done yet. The general structure of the problem is that an object enters a system, interacts with different parts of the system, and eventually leaves, and we want to monitor some statistics about the interaction, so that we can then make some changes, and run it again, and hopefully improve it. Thanks in advance for any suggestions!

5 5

Final issues to fix for the shootout entries (Was: no subject)
by dons＠cse.unsw.edu.au 06 Feb '07

06 Feb '07

Yeah, have a look on the shootout: http://shootout.alioth.debian.org/gp4/benchmark.php?test=recursive&lang=all Has an ackerman. More detailed comparisions, across the 19 benchmarks on the shootout, with notes on which of the 19 GHC Haskell is significantly slower (>4x) at: Haskell verus Python http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: regex-dna Haskell verus Ruby http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: regex-dna Haskell verus Perl http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: regex-dna Haskell verus Lisp http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: mandelbrot (Double math) spectral-norm (Double math) Haskell verus Clean http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: k-nucleotide ( HashTable benchmark) mandelbrot spectral-norm Haskell verus SML http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: k-nucleotide mandelbrot spectral-norm Haskell versus OCaml http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=ghc&lang2… Loses on: k-nucleotide mandelbrot regex-dna spectral-norm Haskell versus C Loses on: k-nucleotide mandelbrot regex-dna spectral-norm Fixing these last few programs: k-nucleotide: Needs a better hashtable library implementation. For example a Data.HashByteString based on a Trie of ByteString) regex-dna: Should use the regex-tre library instead of regex-posix (algorithm issue only) mandelbort/spectral-norm: Double math is slow. I don't know why. And note that strings aren't a bottleneck anymore! http://shootout.alioth.debian.org/gp4/benchmark.php?test=sumcol&lang=all -- Don seth: > GHC has profiling support. > > (By the way, many mail servers these days discard mail with no subject.) > > I've seen a number of papers comparing the speed of Haskell code to code of other functional languages; there is a periodic "shoot out" with ocaml. > > Some probably have comparisons with imperative languages, and, even if they do not, the methodology should help you. > > Seth Kurtzberg > > On Mon, 5 Feb 2007 11:28:03 -0800 (PST) > Tays Soares <tayscristina(a)yahoo.com.br> wrote: > > > Hello everyone, > > > > I did at my master thesis a compiler that generates Haskell code. Now I need to measure the execution time of my generated code and I've been searched and I don't know if I'm looking with the wrong keywords but I could not find anything. I just need to measure the time of simple functions, like Ackermann and Fibonacci. Does anyone know how to measure the execution time of a Haskell program or function? > > > > Thank you, > > Tays > > > > > > > > __________________________________________________ > > Fale com seus amigos de gra?a com o novo Yahoo! Messenger > > http://br.messenger.yahoo.com/ > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users(a)haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

2 1

Function Composition
by Chris Witte 06 Feb '07

06 Feb '07

Can anyone explain why Shape.Polygon would have a different type to (Shape).Polygon, I thought the brackets would be redundant. Here is the output from a Hugs session Animation> :v -- Hugs Version 20050113 Animation> :t Shape Shape :: Shape -> Region Animation> :t Polygon Polygon :: [Vertex] -> Shape Animation> :t (Shape.Polygon) Polygon :: [Vertex] -> Shape Animation> :t ((Shape).Polygon) Shape . Polygon :: [Vertex] -> Region Animation> :t Shape.(Polygon) Shape . Polygon :: [Vertex] -> Region Cheers Chris Witte

2 1

strict bytestring fun
by dons＠cse.unsw.edu.au 06 Feb '07

06 Feb '07

High performance strings on the shootout: http://shootout.alioth.debian.org/gp4/benchmark.php?test=sumcol&lang=all interesting alternative programs 0.5 Haskell GHC #5 1.29 90,880 270 1.0 Clean 2.77 600 136 2.0 C gcc 5.64 444 159 2.1 D Digital Mars #2 5.85 700 153 2.3 C++ g++ #2 6.46 848 244 Ah well, its illegally strict, but its good to know you can do it, eh? (A lazy bytestring version has been submitted, we'll see how that runs). -- Don

2 2

How is laziness defined?
by TJ 06 Feb '07

06 Feb '07

I would think that with 100% laziness, nothing would happen until the Haskell program needed to output data to, e.g. the console. Quite obviously that's not it. So how is laziness defined in Haskell? I remember vaguely someone saying that pattern matching on a value forces it to be evaluated. Is that right? What else? This is one of the things that just boggles my mind everytime I try to wrap it around this thing called Haskell ;) Cheers, TJ

6 12