From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <syshen@nudt.edu.cn>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 3E13F7EFC0
	for <caml-list@sympa.inria.fr>; Wed, 23 Dec 2015 02:13:11 +0100 (CET)
IronPort-PHdr: 9a23:7xZhrhHcTmOst6R6TtSdpp1GYnF86YWxBRYc798ds5kLTJ75pMmwAkXT6L1XgUPTWs2DsrQf27SQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0YLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MdFVeD+fr8kBehTBTEidmQ0/9HDtB/ZTALJ6GFKAUsMlR8dopJnIKp8FsPqozD6u+xV3jSWIYv7Qa1yUjL0vPQjcwPhlCpSb21xy2rQkMEl1K8=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=syshen@nudt.edu.cn; spf=Pass smtp.mailfrom=syshen@nudt.edu.cn; spf=Pass smtp.helo=postmaster@nudt.edu.cn
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  syshen@nudt.edu.cn) identity=pra; client-ip=61.187.54.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="syshen@nudt.edu.cn";
  x-sender="syshen@nudt.edu.cn"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  syshen@nudt.edu.cn designates 61.187.54.11 as permitted
  sender) identity=mailfrom; client-ip=61.187.54.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="syshen@nudt.edu.cn";
  x-sender="syshen@nudt.edu.cn"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  postmaster@nudt.edu.cn designates 61.187.54.11 as permitted
  sender) identity=helo; client-ip=61.187.54.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="syshen@nudt.edu.cn";
  x-sender="postmaster@nudt.edu.cn";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CLAAC883lWmQs2uz1ehH+MS7MRhV+CGxABAQEBAQEBARABAQEBAQgLCwchLkESgVqBfoEeCQECPl8kiB2QHo1Gj2oIjmCDW4htileBTgWOLYhUjUuOeI42OYF1DAFQgWqEEHUBgQcBAQE
X-IPAS-Result: A0CLAAC883lWmQs2uz1ehH+MS7MRhV+CGxABAQEBAQEBARABAQEBAQgLCwchLkESgVqBfoEeCQECPl8kiB2QHo1Gj2oIjmCDW4htileBTgWOLYhUjUuOeI42OYF1DAFQgWqEEHUBgQcBAQE
X-IronPort-AV: E=Sophos;i="5.20,466,1444687200"; 
   d="scan'208";a="193638513"
Received: from mail.nudt.edu.cn (HELO nudt.edu.cn) ([61.187.54.11])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Dec 2015 02:13:08 +0100
Received: by ajax-webmail-coremail.nudt.edu.cn (Coremail) ; Wed, 23 Dec 2015
 09:13:02 +0800 (GMT+08:00)
Date: Wed, 23 Dec 2015 09:13:02 +0800 (GMT+08:00)
From: =?GBK?B?yfLKpNPu?= <syshen@nudt.edu.cn>
To: caml-list <caml-list@inria.fr>
Message-ID: <54dde531.10d.151cc657e75.Coremail.syshen@nudt.edu.cn>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_934_2075699398.1450833182324"
X-Originating-IP: [175.13.67.36]
X-Priority: 3
X-Mailer: Coremail Webmail Server Version 4.0.8 dev build
 20150107(58648.7033.6860) Copyright (c) 2002-2015 www.mailtech.cn nudt-out
X-SendMailWithSms: false
X-CM-TRANSID:AQAAf0D5CUQf9XlW8xMyAA--.2107W
X-CM-SenderInfo: xv1vxvnq6q3vvwohv3gofq/1tbiAQALE1C8UkiRqQAJse
X-Coremail-Antispam: 1Ur529EdanIXcx71UUUUU7IcSsGvfJ3iIAIbVAYjsxI4VWUJw
	CS07vEb4IE77IF4wCS07vE1I0E4x80FVAKz4kxMIAIbVAFxVCaYxvI4VCIwcAKzIAtYxBI
	daVFxhVjvjDU=
X-Validation-by: syshen@nudt.edu.cn
Subject: [Caml-list] what is the application of class ref?

------=_Part_934_2075699398.1450833182324
Content-Type: text/plain; charset=GBK
Content-Transfer-Encoding: 7bit

Dear all:

In ref manual of ocaml "3.10 Parameterized classes", there is a code segment liek this:

class ref (x_init:int) =
object
val mutable x = x_init
method get = x
method set y = x <- y
end;;

so what is the meaning of class ref?


Shen

------=_Part_934_2075699398.1450833182324
Content-Type: text/html; charset=GBK
Content-Transfer-Encoding: 7bit

Dear all:<br><br>In ref manual of ocaml "3.10 Parameterized classes", there is a code segment liek this:<br><br>class ref (x_init:int) =<br>object<br>val mutable x = x_init<br>method get = x<br>method set y = x &lt;- y<br>end;;<br><br>so what is the meaning of class ref?<br><br><br>Shen<br>
------=_Part_934_2075699398.1450833182324--