Re: [Caml-list] variable sharing

[Kihong Heo <khheo@ropas.snu.ac.kr>]

Sorry. It's my mistake. 
not variable sharing, but "value sharing" which means alias.

For example, there is a big set and I want to make many subset of it.
In my thought, if the aliases are made efficiently, the memory explosion does not make sense.
I don't know exactly what's the problem (my programming style, data type, or it is a natural result, etc..).
So I want to know the principle.

Thank you.
Kihong

2011. 3. 7., 오전 11:07, Yitzhak Mandelbaum 작성:

> Kihong,
> 
> Could you elaborate on what you mean by "variable sharing" and what specifically is not happening as expected? Perhaps you could provide a small example that demonstrates the problem you're seeing?
> 
> Cheers,
> Yitzhak
> 
> 
> On Mar 6, 2011, at 8:49 PM, Kihong Heo wrote:
> 
>> Dear caml-list.
>> 
>> I want to know how ocaml compiler make variable sharing.
>> I believe the compiler do good job, but sometime memory consumption
>> of my program does not make sense. 
>> So I am curious about what the compiler did or how to make program memory efficiently.
>> 
>> If you know some good notes or web pages for that issue, please let me know.
>> 
>> Thank you.
>> 
>> - Kihong Heo
>> 
>> -- 
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa-roc.inria.fr/wws/info/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>> 
> 
> -----------------------------
> Yitzhak Mandelbaum
> 
> 
> 

--
허 기 홍 드림
khheo@ropas.snu.ac.kr
서울대학교 프로그래밍 연구실