From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.0 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id DBCDBBBAF for ; Sun, 21 Jun 2009 20:39:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At0CAF8bPkpKfS4ek2dsb2JhbACCJS+VTD8BAQEBCQkKCRMDpDsKgQ+OBwEDAgSEBgWGWA X-IronPort-AV: E=Sophos;i="4.42,263,1243807200"; d="scan'208";a="28479732" Received: from yw-out-2324.google.com ([74.125.46.30]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Jun 2009 20:39:32 +0200 Received: by yw-out-2324.google.com with SMTP id 2so1123529ywt.27 for ; Sun, 21 Jun 2009 11:39:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:reply-to:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=pBarkXub9iX/0+QL/+KGXpCuFWojhio1hnJCSoku0tc=; b=HODehR0RgA6cFo/m7Y0jaEO8CSxOuS6ZRX3t+sTPCQuFhjrIWoYNCr3rwj+Gi6RV2O x/Prws0Dpg/T6LW/pBErjdPYbw5+/UluMA+xbRu/7/EFMyfUrdcfPRVYQf56ZiHrRFj9 IPG6oWsYWdrFXPE7Ka3TUcFvtb1IXmEFKt+Fw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; b=aoLaoHfVzMKW5bKnMC8h+oNYjg3mgFtTBrpuX2JBaOSp9NI+244PtI0QZDSHjN5EhD SggBgcjfT4SIoOv4FMCx/ligAD/DXDRujVMne+FzGzoMPK9FhOI/jEJaYvxgSJFDiu6b ezgeHOXjdqsSqz8N2oBwollMmpztpsKuh3+vI= MIME-Version: 1.0 Received: by 10.90.81.11 with SMTP id e11mr4415064agb.110.1245609571305; Sun, 21 Jun 2009 11:39:31 -0700 (PDT) Reply-To: yminsky@gmail.com In-Reply-To: References: <4A3BCE1A.3010403@citycable.ch> <91F6B99D-3075-47A1-9257-0BD208C6D5D8@erratique.ch> Date: Sun, 21 Jun 2009 14:39:31 -0400 Message-ID: <891bd3390906211139m52db97e3vcf30aad94afffa13@mail.gmail.com> Subject: Re: [Caml-list] Re: Obj.magic and existential types. From: Yaron Minsky To: Jake Donham Cc: OCaml List Content-Type: multipart/alternative; boundary=001485f813a206cb50046ce0147d X-Spam: no; 0.00; existential:01 yaron:01 minsky:01 yminsky:01 finalizers:01 finalizers:01 2009:98 javascript:98 2009:98 javascript:98 wrote:01 wrote:01 caml-list:01 types:05 implement:06 --001485f813a206cb50046ce0147d Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit On Sun, Jun 21, 2009 at 2:08 PM, Jake Donham wrote: > Without weak references I don't know how else to implement space > safety. But I am prepared to be enlightened :). Best regards, > I believe you can pull it off with finalizers as well, but I don't know whether Javascript has those, either. y --001485f813a206cb50046ce0147d Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Sun, Jun 21, 2009 at 2:08 PM, Jake Donham <jake@donham.org> wrote:
Without weak references I don't know how else to implement space
safety. But I am prepared to be enlightened :). Best regards,

I believe you can pull= it off with finalizers as well, but I don't know whether Javascript ha= s those, either.

y

--001485f813a206cb50046ce0147d--