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

Michael Day mikeday at yeslogic.com
Tue Mar 25 17:30:53 AEDT 2003


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



More information about the reviews mailing list