[m-rev.] Types chapter of book for review

[Michael Day]

Mercury does have these problems.  All type errors in a Mercury program
are identified at compile time, making it harder to ship buggy programs.  
An expressive type system makes Mercury programs more efficient, since no
type checks are necessary at run time.  The extra information also allows
the compiler to perform optimizations that would otherwise be impossible.

s/does/does not/ perhaps?

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------