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
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
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.
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