November 2008 - Haskell-Cafe

Fwd: [Haskell-cafe] Re: [Haskell] ANNOUNCE: RefSerialize-0.2.1
by Alberto G. Corona 03 Nov '08

03 Nov '08

I forgot to cc to haskell-cafe: ---------- Forwarded message ---------- From: Alberto G. Corona <agocorona(a)gmail.com> Date: 2008/11/2 Subject: Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: RefSerialize-0.2.1 To: Bulat Ziganshin <Bulat.Ziganshin(a)gmail.com> * SerTH is a binary serialization library for Haskell. It supports serializing cyclic datatypes in a fast binary format. SerTH uses template haskell for deriving the serializing interface for new datatypes. *Too bad...I did not know it. Not even many people in the #haskell channel, where i discussed about how badly a functionality such that is needed. It restores the references when data is deserialized?. My package is text oriented and the serialization is readable and eval-uable, so can be used also for debugging purposes. I use System.Mem.StableName. for it. 2008/11/2 Bulat Ziganshin <bulat.ziganshin(a)gmail.com> Hello Alberto, > > Sunday, November 2, 2008, 5:02:10 PM, you wrote: > > Read, Show and Data.Binary do not check for repeated references to > > the same data address. > > afair, SerTH does it, using GHC's internal address compare function > > what way to check for copies you use? > > > -- > Best regards, > Bulat mailto:Bulat.Ziganshin@gmail.com > >

1 0

Cairo build fail on OS X Leapord
by Jefferson Heard 03 Nov '08

03 Nov '08

Installing gtk2hs from MacPorts on a clean mac: 2 -I/usr/X11R6/include svgcairo/Graphics/Rendering/Cairo/SVG.chs:201:2: Couldn't match expected type `()' against inferred type `CInt' Expected type: Render () Inferred type: Render CInt In the expression: liftIO $ (\ (SVG arg1) (Cairo arg2) -> withForeignPtr arg1 $ \ argPtr1 -> rsvg_handle_render_cairo argPtr1 arg2) svg cr In the expression: do cr <- ask liftIO $ (\ (SVG arg1) (Cairo arg2) -> withForeignPtr arg1 $ \ argPtr1 -> rsvg_handle_render_cairo argPtr1 arg2) svg cr make[1]: *** [svgcairo/Graphics/Rendering/Cairo/SVG.o] Error 1 rm svgcairo/Graphics/Rendering/Cairo/SVG.hs make: *** [all] Error 2 Error: Status 1 encountered during processing. -- I try to take things like a crow; war and chaos don't always ruin a picnic, they just mean you have to be careful what you swallow. -- Jessica Edwards

2 3

Arch Haskell News: Nov 02 2008
by Don Stewart 03 Nov '08

03 Nov '08

News about the Haskell packages for Arch Linux. Highlights, * 672 Haskell packages now supported in Arch Linux, up 33 from two weeks ago. Noteworthy, * haskell-tcache-0.5.3: “A Transactional data cache with configurable persistence” * haskell-yampa-0.9.2.3: “Library for programming hybrid systems.” * haskell-network-bytestring-0.1.1.3: “Fast and memory efficient low-level networking” * haskell-checkers-0.1.1: “Check properties on standard classes and data structures.” * haskell-coreerlang-0.0.1: “Facilities for manipulating Core Erlang source code: an abstract syntax, parser and pretty-printer.” Full update list, http://archhaskell.wordpress.com/2008/11/03/arch-haskell-news-nov-02-2008/ -- Don How's your favourite distro doing? If its not up to scratch, talk to someone.

1 0

Re: [Haskell-cafe] ANNOUNCE: Graphalyze-0.5 and SourceGraph-0.3
by Ivan Lazar Miljenovic 03 Nov '08

03 Nov '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Sun, 2 Nov 2008 22:43:27 -0500 "Gwern Branwen" <gwern0(a)gmail.com> wrote: > Darn! I was really hoping to analyze my XMonadContrib modules which use > CPP. :( > > Come now, is it really so intractable? Why not try a dumb, but simple > and understandable approach - like dropping everything inside CPP > sections, and analysing the remainder? If it's clearly stated in the > docs, I don't think any user could really blame you. If they insist, > you could always add a flag like --strict-cpp ('So you prefer no > results to somewhat wrong results? FINE.') The main reason I haven't is due to lack of time... as it was, these last few fix-ups were only done last-minute whilst I was waiting for my supervisor to read through my draft (and mainly fixed what I perceived as _real_ bugs, not just adding functionality). Though, to be honest I didn't think about performing sanitizing in that fashion... Of course, if you really want that functionality you can add it ;-) - -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.9 (GNU/Linux) iEYEARECAAYFAkkOdBkACgkQfEfFJ9JhvyhjYgCggEcRquF+BmZSCkVpxt3dY1sT pI4AnjV5em0zVrTxHQtdf2J6ibOZ121d =qd3I -----END PGP SIGNATURE-----

1 0

ANNOUNCE: zlib and bzlib 0.5 releases
by Duncan Coutts 02 Nov '08

02 Nov '08

I'm pleased to announce updates to the zlib and bzlib packages. The releases are on Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/zlib http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bzlib What's new ========== What's new in these releases is that the extended API is slightly nicer. The simple API that most packages use is unchanged. In particular, these functions have different types: compressWith :: CompressParams -> ByteString -> ByteString decompressWith :: DecompressParams -> ByteString -> ByteString The CompressParams and DecompressParams types are records of compression/decompression parameters. The functions are used like so: compressWith defaultCompressParams { ... } decompressWith defaultDecompressParams { ... } There is also a new parameter to control the size of the first output buffer. This lets applications save memory when they happen to have a good estimate of the output size (some apps like darcs know this exactly). By getting a good estimate and (de)compressing into a single-chunk lazy bytestring this lets apps convert to a strict bytestring with no extra copying cost. Future directions ================= The simple API is very unlikely to change. The current error handling for decompression is not ideal. It just throws exceptions for failures like bad format or unexpected end of stream. This is a tricky area because error streaming behaviour does not mix easily with error handling. On option which I use in the iconv library is to have a data type describe the real error conditions, something like: data DataStream = Chunk Strict.ByteString Checksum DataStream | Error Error -- for some suitable error type | End Checksum With suitable fold functions and functions to convert to a lazy ByteString. Then people who care about error handling and streaming behaviour can use that type directly. For example it should be trivial to convert to an iterator style. People have also asked for a continuation style api to give more control over dynamic behaviour like flushing the compression state (eg in a http server). Unfortunately this does not look easy. The zlib state is mutable and while this can be hidden in a lazy list, it cannot be hidden if we provide access to intermediate continuations. That is because those continuations can be re-run whereas a lazy list evaluates each element at most once (and with suitable internal locking this is even true for SMP). Background ========== The zlib and bzlib packages provide functions for compression and decompression in the gzip, zlib and bzip2 formats. Both provide pure functions on streams of data represented by lazy ByteStrings: compress, decompress :: ByteString -> ByteString This makes it easy to use either in memory or with disk or network IO. For example a simple gzip compression program is just: > import qualified Data.ByteString.Lazy as ByteString > import qualified Codec.Compression.GZip as GZip > > main = ByteString.interact GZip.compress Or you could lazily read in and decompress .gz file using: > content <- GZip.decompress <$> ByteString.readFile file General ======= Both packages are bindings to the corresponding C libs, so they depend on those external C libraries (except on Windows where we build a bundled copy of the C lib source code). The compression speed is as you would expect since it's the C lib that is doing all the work. The zlib package is used in cabal-install to work with .tar.gz files. So it has actually been tested on Windows. It works with all versions of ghc since 6.4 (though it requires Cabal-1.2). The darcs repos for the development versions live on code.haskell.org. I'm very happy to get feedback on the API, the documentation or of course any bug reports. Duncan

3 3

Poll: Do you need to be able to build darcs from source on GHC 6.6?
by Jason Dagit 02 Nov '08

02 Nov '08

Hello, I would like to find out if any darcs users who build from the source are still using ghc 6.6? If you are such a user, please let me know. Thanks, Jason

11 25

Re: [Haskell-cafe] number of references to a variable
by wren ng thornton 02 Nov '08

02 Nov '08

Alberto G. Corona wrote: > * "Certainly a worthy research goal, but probably not what you had in mind > :)" > > *Not at all, My interest on that was on to improve RefSerialize. Although > the Clean people has done a superb job on optimization. By the way, I'm not > sure if uniqueness is the cause of his performance. I tested Haskell code > generated using Maybe with and without monad instance and the monad does not > impose any overhead at all. Oh, I wasn't saying that monads impose any overhead. Rather, the Clean folks aren't fans of monads and so they use uniqueness typing in order to provide the same kind of solution to IO while retaining functional purity. GHC's implementation of IO is actually very similar under the hood to what Clean does, though that's not necessarily true of other monads. Even though they seem to intersect at IO, the ideas of monads and linear logics are orthogonal. The big optimization trick with linear logic is, since you know when some object is uniquely referenced, you know when it's safe to destructively update it in situ. For example, you can reverse a spine-unique list in linear time with zero space (modulo registers) by just inverting the spine pointers as you traverse it. Since it's uniquely referenced, noone else will notice so referential transparency is preserved. Doing it this way saves on allocation costs and on garbage collection. There are certainly other ways to use the information that some object is held only by a single reference, but Clean's optimizations are the first that leap to my mind. -- Live well, ~wren

1 0

is there a way to pretty print a module?
by Anatoly Yakovenko 02 Nov '08

02 Nov '08

is there a way to pretty print a module? like: module Main where import Language.Haskell.TH main = do print $ pprint Main

6 8

number of references to a variable
by Alberto G. Corona 02 Nov '08

02 Nov '08

Is there a way to know the number of memory references for a variable?. The runtime must know it but i do not know if this available for the program trough any low level trick Thanks

6 6

Syntax question: class (Monad m) => MonadReader r m | m -> r where
by Mauricio 02 Nov '08

02 Nov '08

Hi, I've reading Control.Monad.Reader source code and arrived here: class (Monad m) => MonadReader r m | m -> r where I can't understand that syntax. Since this is not a 'data' line, what is the '|' supposed mean? Thanks, Maurício

4 5