[mercury-users] Paper on Mercury from AI practitioner's standpoint

[Gregory D. Weber]

Hi, thanks for the comment.  I do not understand, though --
what are "unsafe" I/O predicates?  I do not find any predicates
in the io module that do not require a pair of io__state arguments.
Which predicates are you referring to, and what is unsafe about
them?


Peter Hawkins <peter at hawkins.emu.id.au> writes:

> Hi...
> On Thu, 13 Jan 2005 11:26 am, Gregory D. Weber wrote:
> > I invite comments to help ensure that I do not misrepresent
> > the language to potential users.  A draft is posted at
> > http://mypage.iu.edu/~gdweber/papers/drafts/mercury.pdf.
> 
> One comment -- I should point out that you can avoid most of the effort in 
> threading the IO state around for debugging purposes by using unsafe IO 
> predicates. Although this is evil and wrong [tm], it's the a humane solution 
> for the programmer. You can live without purity when debugging...
> 
> =)
> Peter
> --------------------------------------------------------------------------
> mercury-users mailing list
> post:  mercury-users at cs.mu.oz.au
> administrative address: owner-mercury-users at cs.mu.oz.au
> unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
> subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
> --------------------------------------------------------------------------

-- 
Gregory D. Weber

Associate Professor of Computer Science, Indiana University East
2325 Chester Boulevard, Richmond, Indiana 47374-1289, U.S.A.
Telephone (765) 973-8420          World-Wide Web http://mypage.iu.edu/~gdweber/

----
Plain text is the document format that maximizes readability and 
minimizes hassle and hazard.  It is the format of the official documents
defining Internet protocols (http://www.rfc-editor.org/).
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------