From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA30917; Sat, 15 Jun 2002 07:15:43 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA31261 for <caml-list@pauillac.inria.fr>; Sat, 15 Jun 2002 07:15:42 +0200 (MET DST)
Received: from ntlg.sibnet.ru (dns.sibnet.ru [217.70.96.34])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g5F5Fe511512
	for <caml-list@inria.fr>; Sat, 15 Jun 2002 07:15:41 +0200 (MET DST)
Received: from sibnet.ru (tlg5-ppp32.sibnet.ru [217.70.97.33])
	by ntlg.sibnet.ru (8.9.3+Sun/8.9.3) with ESMTP id JAA18575
	for <caml-list@inria.fr>; Sat, 15 Jun 2002 09:15:36 +0400 (MSD)
Received: by sibnet.ru id m17J5Nx-001En5C; Sat, 15 Jun 2002 11:42:01 +0700 (NOVST)
Date: Sat, 15 Jun 2002 11:42:01 +0700
From: Max Kirillov <max630@mail.ru>
To: caml-list@inria.fr
Subject: Re: [Caml-list] static variables in a function
Message-ID: <20020615114201.B1425@max.home>
Mail-Followup-To: caml-list@inria.fr
References: <20020614170830.28193.qmail@web10705.mail.yahoo.com> <vfiznxxagiy.fsf@harp.is.s.u-tokyo.ac.jp>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5i
In-Reply-To: <vfiznxxagiy.fsf@harp.is.s.u-tokyo.ac.jp>; from oiwa@yl.is.s.u-tokyo.ac.jp on Sat, Jun 15, 2002 at 02:58:45AM +0900
X-Sender: Max <max@ppp.sibnet.ru>
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hello.

The code you write will generate a new (empty) ref at every
call. 

You can do like this:

--- chunks.ml
type chunk = ...
<...>
let chunks_list = ref ([]:chunk ref);; -- a separate value in a module
let get_chunk () = <youraction>
--- EOF

You can hide chunks_list by module interface.

--- chunks.mli
type chunk
<...>
(*val chunks_list: chunk list ref -- comment it away *)
val get_chunk: unit -> <returntype>
--- EOF

On Sat, Jun 15, 2002 at 02:58:45AM +0900, Yutaka OIWA wrote:
> let get_chunk =
>   let chunks_list = ref [] in
>   fun () ->
>     ...
> 

On Fri, Jun 14, 2002 at 10:08:30AM -0700, Shannon --jj Behrens wrote:
> What is the correct OCAML idiom for achieving the
> following psuedocode?
> 
> let get_chunk () =
>   static chunks_list;
> 
>   if List.is_empty chunks_list
>   then chunks_list = get_more_chunks ();
>   shift chunks_list
> ;;
-------------------
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