On Wed, Apr 25, 2007 at 03:22:33AM +0200, Twan van Laarhoven wrote:
> Wouter Swierstra wrote:
> >Test.IOSpecVersion 1.0
> Shouldn't that be 0.1?
>
> > * Test.IOSpec.Teletype: a specification of getChar and putChar.
>
> You use Dynamic for the data type in IORefs, this has the unf
Wouter Swierstra wrote:
Test.IOSpecVersion 1.0
Shouldn't that be 0.1?
* Test.IOSpec.Teletype: a specification of getChar and putChar.
You use Dynamic for the data type in IORefs, this has the unfortunate
consequence of needing Typeable constraints. You could try to use
un
On Mon, Apr 23, 2007 at 04:16:56PM +0100, Wouter Swierstra wrote:
>
> * If you're an ICFP referee, you may want to avoid reading any further*
>
>
> Test.IOSpec Version 1.0
>
>
> I'm pleased to announce the first release of the Test.IOSpec library,
> that provides a
On Tue, Apr 24, 2007 at 07:36:07PM -0400, Isaac Dupree wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Wouter Swierstra wrote:
> >
> > * If you're an ICFP referee, you may want to avoid reading any further*
> >
> >
> > Test.IOSpecVersion 1.0
> >
> >
> > I'm please
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Wouter Swierstra wrote:
>
> * If you're an ICFP referee, you may want to avoid reading any further*
>
>
> Test.IOSpecVersion 1.0
>
>
> I'm pleased to announce the first release of the Test.IOSpec library,
> that provides a pure spe
Are you interested in writing book reivews for the Journal of Functional
Programming? You can find general guidelines about writing book reviews at
http://www.cambridge.org/journals/JFP/reviews.asp
and there's a list of books currently available at
http://www.cs.kent.ac.uk/people/staff/sjt/
