Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: cyclic value construction ("let rec")
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-04-11 (17:49)
From: Markus Mottl <mottl@m...>
Subject: Re: cyclic value construction ("let rec")
> This is perfectly right, and as always with mutable values, you cannot
> implement a feature without adding some safeguard conditions.
> type 'a loc = {mutable contents : 'a} as {contents : 'a};;
> This view conception of type exportation could also be generalized to
> hide some other information about a type to export: hide some
> constructors or labels...

Oh, my - if I could already think as fast ahead...

This looks indeed not bad and wouldn't even clutter the language! Programs
with elaborate record fields would surely benefit - no more read
access functions required (saves work both in the implementation and
the interface!)...

I am now waiting for Xavier to use his feared backhand to play back the
ball with another overlooked problem... ;-)

Best regards,
Markus Mottl

Markus Mottl,,