Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
beginners-requ...@haskell.org
You can reach the person managing the list at
beginners-ow...@haskell.org
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Book on formal methods? (C Gosch)
2. Re: functional parser type error (felipe zapata)
----------------------------------------------------------------------
Message: 1
Date: Wed, 4 Apr 2012 10:05:08 +0200
From: C Gosch <ch.go...@googlemail.com>
Subject: [Haskell-beginners] Book on formal methods?
To: beginners@haskell.org
Message-ID:
<caj5ueexnnqd3p8e8fkppnptkcwteu-wy19phk058289hbrm...@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Hi there,
I suspect that some here may be experts in formal methods. Can you
recommend a book on formal methods
(for software engineering)? I do not know about formal methods so far,
I can take some theory, and in a book I would like to have
some examples and practical issues explained as well as theoretical stuff.
Any recommendations?
Thanks a lot,
Christian
------------------------------
Message: 2
Date: Wed, 4 Apr 2012 10:54:45 +0100
From: felipe zapata <tifonza...@gmail.com>
Subject: Re: [Haskell-beginners] functional parser type error
To: beginners@haskell.org
Message-ID:
<ca+aelgr6ys6kq_rrv0x+2tx_d3kxcjs_qmc6lkxe5woyat2...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
Hi,
The parser is defined
*type Parser a = String ? [(a, String)]*
*
*
But for me it is not pretty clear, why i need to
make Parser a newtype instead of working
with this one.
Can you give me some hints ?. Thanks
Felipe
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20120404/68a087ef/attachment-0001.htm>
------------------------------
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners
End of Beginners Digest, Vol 46, Issue 4
****************************************
