- Haskell-Cafe - Haskell.org

unexpected compiler behavior
by jepalomar23＠ono.com 05 Dec '06

05 Dec '06

Hi, I am newbie in Haskell and do not understand why the interpreted mode differs from the compiled program. I run this code main = do putStr "line1" x<-getLine putStr "line2" y<-getLine return (x++y) either under runhugs or runghc or in a console under ghci and works properly, that is, first displays "line1" and then prompts for the corresponding inputs through the keyboard, and so on. However, if I compile the code with the command line ghc --make Main.hs -o main and launch the compiled program main, then at first prompts for the input lines through the keyboard and then displays the strings "line1" "line2". I have read in the tutorials that the command "do" implies an ordered execution and this only occurs in interpreted mode. Using the monadic notation >> , >>= occurs the same unordered behavior. ¿How can I avoid the unordered execution of this code in a compiled program? Thanks in advance. jepalomar

3 2

using greencard to write COM in haskell
by Anatoly Yakovenko 05 Dec '06

05 Dec '06

One of the goals for greencard ( http://www.cs.york.ac.uk/fp/nhc13/greencard.html#SEC2 ) is: A convenient way to write COM software components in Haskell, and to call COM components from Haskell. Are there any examples of the first goal. I would like to be able to write COM components in Haskell, so far I found this example of calling haskell form C: http://www.cs.york.ac.uk/fp/nhc13/CcallingHaskell.html >From what i understand form that example is that you register a bunch of haskell functions with your C program. So is there a way to start haskell form C? Ideally i would like something thats as easy to use as a dll, that the end use wouldn't be aware that they are using a component written in haskell. Also, I would like to have my haskell programs use my implementation of realloc which takes a context, is there an easy way to change ghc to use it? I guess I should start looking at the ghc source. Thanks, Anatoly

3 3

SYB, ext1Q, and deriving custom Typeable and Data instances
by Vyacheslav Akhmechet 05 Dec '06

05 Dec '06

Hi, I'm trying to use SYB to implement some basic relational persistance. I define a PKey datatype to represent primary keys like this: newtype PKey a = PKey a deriving (Show, Typeable, Data) I then define a sample data type like this: data User = User { id :: PKey Int, firstName :: String, lastName :: String, } deriving (Show, Typeable, Data) Finally, I try to iterate over the structure like this: test = gmapQ (gshow `ext1Q` aux) where aux :: PKey a -> String aux _ = "test" The problem is that for id gmapQ calls gshow instead of my customized version (aux). I've seen a discussion on this on haskell cafe at the following URL: http://www.opensubscriber.com/message/haskell-cafe@haskell.org/2167871.html I couldn't understand the following details: 1. Do I need to derive both Typeable and Data instances? 2. Do I need to derive them for both PKey and User or just PKey? 3. Where can I find sample code to derive these instances? Documentation shows a sample of how GHC derives Data, is that a good template to use? Also, what's a good example to derive Typeable (if in fact it needs to be done manually)? Thanks, - Slava.

1 0

'+++' and 'interleave'
by Greg Fitzgerald 04 Dec '06

04 Dec '06

Could ReadP's '+++' (symmetric choice) operator be implemented for all Monads with the 'interleave' function mentioned in Backtracking, Interleaving, and Terminating Monad Transformers<http://portal.acm.org/ft_gateway.cfm?id=1086390&type=pdf&coll=GUIDE&dl=GUID…>? This paper was a tough read for me, but it looks like they solve the same problem, but one interleaves computations within a monad and the other does it from the outside. Or am I just confused? Thanks, Greg

1 0

Four Fours problem in Haskell
by Joachim Breitner 04 Dec '06

04 Dec '06

Hi, This might be interesting for some of you (I hope): http://www.joachim-breitner.de/blog/archives/210-FourFours-in-Haskell.html Preview: An interesting programming puzzle appeard in the Blogosphere: To describe every integer from 1 to 100 as a calculation involving only and exactly four fours, and standard operations. There are solutions in C# (code) and in python (code), so I tried to do mine in Haskell. This seems to be meant for Haskell. The Type system makes the program really great to read. Functional programming allows me to conveniently create all possible associations of four operands with three binary operations. (I found five. Why are the other two sources using four?) And, in this program particular, the use of the list monad to quickly generate a list of all possible combination is really a programming-time-saver. The program is not too slow either: $ time ./fourfour>/dev/null real 0m0.917s user 0m0.852s sys 0m0.040s And it could probably be sped up by using some kind of hashing or similar stuffs. Note that the program has only 73 mostly quite short lines, while the python code has 119 and the C# code has 138 of relatively long lines (comments and empty lines not counted). I think this is impressive (unless you have worked with haskell a bit, then you are used to these kind of results). Comments welcome! Thanks, Joachim -- Joachim "nomeata" Breitner mail: mail(a)joachim-breitner.de | ICQ# 74513189 | GPG-Key: 4743206C JID: joachimbreitner(a)amessage.de | http://www.joachim-breitner.de/ Debian Developer: nomeata(a)debian.org

1 0

Re: help with threadDelay
by Neil Davies 04 Dec '06

04 Dec '06

Ian/Simon(s) Thanks - looking forward to the fix. It will help with the real time enviroment that I've got. Follow on query: Is there a way of seeing the value of this interval from within the Haskell program? Helps in the calibration loop. Neil

2 3

RE: Safe forking question
by Simon Marlow 04 Dec '06

04 Dec '06

[ duh, hit send by mistake, message continues... ] Chris Kuklewicz wrote: > forkInheritIO :: IO () -> IO ThreadId -- inherits parent's > block or unblock status > > forkBlockedIO :: IO () -> IO ThreadId -- starts the action in > "block" mode. Must manually "unblock" > Either of these is certainly possible, and I agree that forkBlockedIO is more generally useful than my forkCatchIO. One tantalising possibility is that we could make forkIO have the forkInheritIO behaviour without breaking much code, since I bet forkIO is almost never called inside block. Cheers, Simon

2 1

HaXml problem
by Alexis Hazell 04 Dec '06

04 Dec '06

Hi all, Say i have data of type Content, and i want to put that data into a type which is an instance of XmlContent, so that i can use it with hPutXml. How can i do so? Does it involve the List1 type and its NonEmpty constructor? Thanks in advance, Alexis.

2 1

Generate 50 random coordinates
by Huazhi (Hank) Gong 04 Dec '06

04 Dec '06

Hello,all My intention is to generate 50 random coordinates like (x,y). myrand :: Int myrand = randomRIO(1::Int, 100) rf=[(myrand, myrand) | a <- [1..50]] My short program is like this. However, GHCI say that the return type of randomRIO is IO a while the function defined by me is Int. Since I only need a integral type as my cooridinate, could you tell me how to fix this? Hank -- View this message in context: http://www.nabble.com/Generate-50-random-coordinates-tf2742242.html#a7651116 Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

8 8

complex state code
by Tim Newsham 04 Dec '06

04 Dec '06

I'm working on some code where I have some complex state. This is the first time I've dealt with anything like this in haskell. If anyone would review my code and let me know if there are ways I could do this better, cleaner, in a more idiomatic way, etc, I would greatly appreciate it. http://www.thenewsh.com/~newsham/Market.hs Tim Newsham http://www.thenewsh.com/~newsham/

1 0