[m-dev.] for review: changes to the tutorial

Anthony Lee SENYARD anthls at cs.mu.OZ.AU
Fri Jul 16 15:49:36 AEST 1999


Yeah I like your wording Fergus.  It seems to encapsulate the desired
meaning.

Anthony

On Fri, 16 Jul 1999, Fergus Henderson wrote:

> On 15-Jul-1999, Ralph Becket <rwab1 at cam.sri.com> wrote:
> > Hi David,
> > >  calculate with numbers.  MERCURY is unusual in that you actually have
> > >  to import the module that defines the basic integer operations,
> > > -whereas in most languages they are built in.  There are good reasons
> > > +whereas in most languages they are built in.  
> > > +Although the integer type is built in, but the basic operations 
> > > +that act upon them (eg. TT(+), TT(-)) are not.
> > > +There are good reasons
> > >  for this, but this tutorial is probably not the place to discuss them.
> > >  So just trust us.
> > 
> > How about changing the text to the following:
> > 
> >   calculate with numbers.  MERCURY is unusual in that, whereas the
> >   TT(int) type is built in, you actually have
> >   to import the module that defines the basic integer operations,
> > 
> > I think it reads better.
> 
> Hmm... in some ways I liked David's version better.
> How about the following:
> 
>  calculate with numbers.  MERCURY is unusual in that you actually have
>  to import the module that defines the basic integer operations,
>  whereas in most languages they are built in.  
>  (Actually the `int' type itself and the integer literals [e.g. 1, 2, 3, ...]
>  are built in, since there is special syntax for them, but the basic operations 
>  that act upon them (eg. TT(+), TT(-)) are not.)
> 
> -- 
> Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
> WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
> PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
> 

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list