- Haskell-Cafe - Haskell.org

Re: storing to a file
by C.Reinke 15 Nov '02

15 Nov '02

> There's been mention of a Binary module; .. That said, there was > also a post about using plain text. I tend to agree, except for > certain cases. However, that is *not* to say that you should > necessarily use Show/Read. | Actually, "deriving binary" would be a nice thing to have in general | - even more, a way to add your own "deriving" things from within | Haskell, although I have no idea how such a thing would work. In this context, DrIFT should be mentioned: http://www.haskell.org/communities/11-2002/html/report.html#sect5.2.1.1 http://repetae.net/john/computer/haskell/DrIFT/ Binary is already supported, I think (what about the new Binary variants?), but adding new instance derivation rules for your own external formats shouldn't be too difficult. So nobody has to stick to Show/Read for convenience reasons if there are other arguments against (such as those listed by Hal). Claus PS The Haskell ATerm Library might also be relevant? http://www.haskell.org/pipermail/haskell/2002-May/009589.html (the jDrift mentioned there is subsumed by the upcoming Drift2.0, merging various previous versions)

2 1

1 line simple cat in Haskell
by Ahn Ki-yung 15 Nov '02

15 Nov '02

If you are steaming with compicated codes, then how about taking a break. Let's play with a simple cat. \begin{code} main = mapM (>>=putChar) getCharS where getCharS = getChar:getCharS \end{code} Tested with ghc. Works good except that you get some messages on stderror because eof is not handled. How would you suggest to neatly insert the error handling code into ? P.S. Instead of coding with C++, I want to write my server main code like this. server_main = mapM (>>=process.reply) where getReqS = getReq:getReqS Only if I had enough time ... :-p Using HDirect and so on ... -- Ahn Ki-yung

4 5

Binary read/write WAS [storing to a file]
by Shawn P. Garbett 15 Nov '02

15 Nov '02

I've been fiddling with binary read/write in Haskell. I put together a little example demonstrating my lack of understanding. It creates a connection requestion XAtom and spits it out over a socket. My real hangup occurs when I get a String back from the Socket and would like it nicely marshalled into the ConnectSuccess type. These techniques I would assume apply to binary read/write for files as well. Any criticism/suggestions are appreciated. import IO import Monad import GHC.IO import GHC.Storable import Network import Network.Socket import Data.Char import Data.Word import System.Environment import Parsec -- A Parser that looks for everything before the colon beforeColon :: Parser String beforeColon = many1 (satisfy $ \c -> c /= ':') -- Parse out the display name from the environment Variable DISPLAY parseDisplay :: String -> String parseDisplay s = if (name == "") then "localhost" else name where name = case (parse beforeColon "" s) of Left err -> "" Right x -> x -- repeat an IO action multiple times repeat' :: Int -> IO a -> IO () repeat' n f = foldr (>>) (return ()) (take n (repeat f)) -- Send the X11 Connection Request to a handle sendConnectReq :: Handle -> IO () sendConnectReq h = do -- O'Reilly claims this should be '\x66' -- Try it with this and it crashes like so -- *** Exception: user error -- Reason: Pattern match failure in do expression, open.hs:xx hPutChar h '\x6c' --platform dependent byte-ordering, MSB hPutChar h '\x00' --unused hPutChar h '\x0b' --protocol major 11 hPutChar h '\x00' --protocol minor 0 repeat' 8 (hPutChar h '\x00') -- pad it out to boundary hFlush h -- Totally clueless on this one -- What's the best for this? marshallSuccess :: String -> ConnectSuccess marshallSuccess s = let v = drop 39 s in ConnectSuccess 0 0 0 0 0 0 0 0 0 0 0 0 v -- Get the reply getConnectReply :: Handle -> IO (Either ConnectFail ConnectSuccess) getConnectReply h = do (r:rs) <- hGetContents h -- This is the line that crashes with an invalid request (reply ""?) if (r == '\x00') then return (Left (drop 7 rs)) else return (Right (marshallSuccess rs)) -- Error string, this probably should be an ioexception type type ConnectFail = String -- Connection success type to fill up with wonderful stuff data ConnectSuccess = ConnectSuccess { release :: Word32, id_base :: Word32, id_mask :: Word32, motion_buf :: Word32, max_req :: Word16, screens :: Word8, img_order :: Word8, bit_order :: Word8, bit_unit :: Word8, bit_pad :: Word8, min_keycode :: Word8, max_keycode :: Word8, vendor :: String } -- Main program to make an X11 connection request. main :: IO () main = withSocketsDo $ do hostname <- liftM parseDisplay (getEnv "DISPLAY") h <- connectTo hostname (Service "x11") sendConnectReq h reply <- getConnectReply h case reply of Left s -> putStr "Failure: " >> putStr s >> putChar '\n' Right s -> putStr "Success: " >> putStr (vendor s) >> putChar '\n'

2 2

Calling Haskell from Python / C++
by Jonathan Holt 15 Nov '02

15 Nov '02

Hi, I've just recently learned about Haskell, and I'm impressed by the abstractions and expressiveness that it affords. I'm particularly interested in it for a small parser project that I'm planning. However, my main programming languages are Python and C++, and for various reasons switching entirely to Haskell is completely out of the question (no flame-bait intended!). So here is what I envision: I write the main application in Python. I write a (hopefully) small Haskell module that: a) Calls back to the main Python app for reading the text to be parsed, preferably using laziness. b) Parses the text, and maybe processes a bit. c) Returns the parsed data-structure. (This may be tricky, but I think I know how to do it). This all seems quite cool. And it can also be very useful in a wide veriety of other circumstances, i.e. whenever a complex computation can be "outsourced" from Python/C++ to Haskell. But I can't find any way to interface Python and Haskell in this way. The FFI seems to allow for this, but there arn't any tools to actually do it... So my question is: How would one do such a thing? Thanks in advance, -JH __________________________________________________ Do you Yahoo!? U2 on LAUNCH - Exclusive greatest hits videos http://launch.yahoo.com/u2

3 2

Re: Time library underspecified
by Tom Pledger 15 Nov '02

15 Nov '02

John Meacham writes: : | another useful thing would be | endOfTime and beginningOfTime constants, representing the minimum and | maximum values representable by ClockTime. : | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell If you plan to use endOfTime and beginningOfTime mainly as sentinels, and are happy to treat them as +infinity and -infinity for arithmetic, a separate wrapper type may help. I've found the following (abridged) useful for 'closing off' data types which were otherwise open-ended: > data Close a > = Lo > | Mid a > | Hi > deriving (Eq, Ord, Show) > > instance Bounded (Close a) where > minBound = Lo > maxBound = Hi > > instance Num a => Num (Close a) where ... > instance Real a => Real (Close a) where ... > instance Enum a => Enum (Close a) where ... > instance Integral a => Integral (Close a) where ... Regards, Tom

1 0

RE: Calling Haskell from Python / C++
by Simon Peyton-Jones 15 Nov '02

15 Nov '02

I hope it's all described adequately in the GHC user manual http://haskell.org/ghc If not, let us know! Simon | -----Original Message----- | From: Peter Simons [mailto:simons@cryp.to] | Sent: 13 November 2002 10:07 | To: haskell-cafe(a)haskell.org | Subject: Re: Calling Haskell from Python / C++ | | Simon Peyton-Jones writes: | | > If Python uses C's calling convention, it might be easy; just use | > 'foreign import' and 'foreign export' (see the FFI spec at | > haskell.org) | | I remember reading that the main program, that wants to call Haskell | code, would have to be compiled with a special Haskell main() routine, | though? Is that true? And if, why is that necessary? | | -peter | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe

2 1

Library for symbolic integration/derivation/ODE solving?
by Marcus Lindblom 14 Nov '02

14 Nov '02

Hi! I would like a library that helps me with some symbolic integration/derivation/ODE solving. Sort of a Maple/Mathematica as a Haskell library, that operates on a expression tree. I've tried google and the haskell homepage library list but haven't found anything of the sort. A few pointers would be nice. ;) Regards /Marcus

1 0

RE: ghc binary, fptools CVS jamming :-(
by Simon Marlow 14 Nov '02

14 Nov '02

> Do I have to compile every packages again if I upgrade ghc ? Yes. > It is a pleasure to make use of the utilities (greencard, > HOpenGL, etc). But what > > When I try to use CVS repository and stand-alone binary distribution > together (because I wanted to see hdirect is like and v 0.16 > does not work with ghc-5.xx) I felt very much discouraged. > > What should I do ? > Do I always have to compile everything from the fptools source again ? If you install a new version of GHC, then you need to recompile anything which was compiled with the old version. If all you want to do is compile HOpenGL, say, then you don't need to install a new version of GHC. Cheers, Simon

1 0

HDirect
by Martin Huschenbett 14 Nov '02

14 Nov '02

Hi all together! Is there any newer version of HDirect than 0.17? Maybe an CVS-repository? THX, Huschi!

1 0

ghc binary, fptools CVS jamming :-(
by Ahn Ki-yung 14 Nov '02

14 Nov '02

Do I have to compile every packages again if I upgrade ghc ? It is a pleasure to make use of the utilities (greencard, HOpenGL, etc). But what When I try to use CVS repository and stand-alone binary distribution together (because I wanted to see hdirect is like and v 0.16 does not work with ghc-5.xx) I felt very much discouraged. What should I do ? Do I always have to compile everything from the fptools source again ? I hope FFI related Haskell module gets stable and standardized soon. -- Ahn Ki-yung

1 0