[Haskell] ANN: SmallCheck 0.0 another lightweight testing tool

2006-08-21 Thread Colin Runciman
I have written a prototype tool that is similar in spirit, and in some of its workings, to QuickCheck, but based on exhaustive testing in a bounded space of test values. Sales pitch: wouldn't you like to ... * write test generators for your own types more easily? * be sure that any counter-exam

[Haskell] [ANNOUNCE] Frisby: composable, linear time parser for arbitrary PEG grammers

2006-08-21 Thread John Meacham
Frisby is an implementation of the 'packrat' parsing algorithm, which parse PEG grammars and have a number of very useful qualities, they are a generalization of regexes in a sense that can parse everything in LL(k), LR(k), and more, including things that require unlimited lookahead, all in guarent

[Haskell] status report of HaskellNet

2006-08-21 Thread Jun Mukai
Dear all, HaskellNet is develped under GSoC program, and I'd like to report the current status of HaskellNet. HaskellNet will be a collection library for networking. Now, it contains, - SMTP - POP3 - IMAP - HTTP - (FTP) - URI - Mime parser and, I wrote a Stream like type class of ByteString.

[Haskell] ANNOUNCE: GHC's new support engineer: Ian Lynagh

2006-08-21 Thread Simon Marlow
We are delighted to announce that GHC now has a full-time support engineer. He is Ian Lynagh (aka Igloo on IRC), and is well known to many of you on the Haskell and GHC mailing lists. He'll be helping with all aspects of GHC, especially release management, bug diagnosis and tracking, documentatio