Re: [Caml-list] Object Features

[Goswin von Brederlow <goswin-v-b@web.de>]

On Mon, Dec 01, 2014 at 09:49:32AM +0000, Jeremy Yallop wrote:
> On 30 November 2014 at 04:24, Jordan W <jordojw@gmail.com> wrote:
> > I understand that object punning on "functional updates" to objects was
> > recently added to trunk. This is a nice consistency, but I haven't found a
> > way to perform object punning on methods or values for object *expressions*.
> >
> >     let x = 10
> >     let y = 20
> >     let o = object
> >       method x
> >       method y
> >     end
> 
> I wonder how far it's wise to take this idea.  It would be possible to
> extend the approach to a lot of places where it's currently necessary
> to write 'x = x'.  For example, we could extend module-level bindings
> similarly:
> 
>    module (F : sig
>                  val x : int
>                  val y : int
>                end) =
>    struct
>      open F
>      let x
>      let y
>    end

struct
  include F
end

MfG
	Goswin