[Caml-list] class variables?

[Caml-list] class variables?

[Michael Vanier]

Hi,

I'm considering using ocaml for a project I'm planning.  I plan to use the
object-oriented features of ocaml extensively.  I was wondering: is there
any way to get immutable class fields that are shared by all members of the
class?  I was thinking of a list of strings, and I don't want to have to
have the list duplicated for every instance of the class.

Mike
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] class variables?

[Warp]

> Hi,
>
> I'm considering using ocaml for a project I'm planning.  I plan to use the
> object-oriented features of ocaml extensively.  I was wondering: is there
> any way to get immutable class fields that are shared by all members of
the
> class?  I was thinking of a list of strings, and I don't want to have to
> have the list duplicated for every instance of the class.

Maybe you can try using 'ref'

let strlist = ref []
...
strlist := ["a";"b";"c"] (* change inner value *)

then you can read what's "inside" strlist using !strlist

Warp

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] class variables?

[Alain Frisch]

On Fri, 11 Jan 2002, Maxence Guesdon wrote:

> *But* if class foo has parameters, then the expressions before the 'objet' keyword are evaluated at
> each creation of a new instanciation, so in the following code
>
> class foo () =
>   let my_list = [ "foo" ; "bar"] in
>   object
>     ...
>   end
>
> let t = new foo
> let u = new foo
>
> t and u are two objects which don't share the list my_list.

You can write:

class foo =
  let my_list = [ "foo" ; "bar"] in
  fun () -> object
    ...
  end

in order to share my_list ...  or simply use a value defined
outside the scope of the class definition.


Alain

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] class variables?

[Andreas Rossberg]

Maxence Guesdon wrote:
> 
> *But* if class foo has parameters, then the expressions before the 'objet' keyword are evaluated at
> each creation of a new instanciation, so in the following code
> 
> class foo () =
>   let my_list = [ "foo" ; "bar"] in
>   object
>     ...
>   end
> 
> let t = new foo
> let u = new foo

You probably meant

	let t = new foo ()
	let u = new foo ()

> t and u are two objects which don't share the list my_list.

Right, but you can push the lambda below the let, much like for function
definitions:

	class foo =
	let my_list = [ "foo" ; "bar"] in
	fun arg ->
	object
	  ...
	end

This should do what Michael wants.

	- Andreas

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
 as kids, we would all be running around in darkened rooms, munching
 magic pills, and listening to repetitive electronic music."
 - Kristian Wilson, Nintendo Inc.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] class variables?

[Maxence Guesdon]

> Hi,
> 
> I'm considering using ocaml for a project I'm planning.  I plan to use the
> object-oriented features of ocaml extensively.  I was wondering: is there
> any way to get immutable class fields that are shared by all members of the
> class?  I was thinking of a list of strings, and I don't want to have to
> have the list duplicated for every instance of the class.
You can do it this way :
class foo =
  let my_list = [ "foo" ; "bar"] in
  object
    ...
  end

let t = new foo
let u = new foo

Now t and u are too objects sharing the same list (my_list), like anyhting before the 'object' keyword.

*But* if class foo has parameters, then the expressions before the 'objet' keyword are evaluated at
each creation of a new instanciation, so in the following code

class foo () =
  let my_list = [ "foo" ; "bar"] in
  object
    ...
  end

let t = new foo
let u = new foo

t and u are two objects which don't share the list my_list.

anybody please correct me if i'm wrong.

--
Maxence Guesdon
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] class variables?

[Michael Vanier]

Thanks to all who responded to my question about class variables.  It's a
typical case of expecting a 1-1 mapping between concepts in other
programming languages and ocaml, even when ocaml has a different (probably
better) way of achieving the same result.

Mike
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr