Re: [Caml-list] Basic quation about object methods

[Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>]

From: Jere Sanisalo <xm@xmunkki.org>

> I'm a relatively newbie ocaml user, and I'm currently trying to understand a
> basic thing about methods. Can someone clarify the following:
> 
> class test =
>   object
>     val mutable v = 0
>     method no_params = v<-v+1; print_int v
>     method has_params () = v<-v+1; print_int v
>   end;;
> 
> Now what's the basic difference between methods "no_params" and
> "has_params"? The o'reilly book says "Note that some methods do not need
> parameters" and "We usually access instance variables with parameterless
> methods.".

There is no difference (except that with has_params you will have to pass
unit to call the method). The reason is that internally a method takes
the object itself as first argument, so no_params is actually a
1-argument function, while has_params is a 2-argument function.

But for practical reasons, it may be nice to add a parameter to
methods causing side-effects. This makes easier to distinguish them
from effect-free ones, and also lets you extract the method itself by
calling it without parameter, when you want to pass it around.
All this is purely practical, since there is really no theoretical
difference between the two.

Jacques Garrigue 

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners