From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7992DBC37 for ; Thu, 11 Feb 2010 14:52:05 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsIBANaZc0tKfU4YkGdsb2JhbACRIolQCBUBAQEBCQkMBxMDIK5jgUiEZYhyAQEDBYRRBA X-IronPort-AV: E=Sophos;i="4.49,452,1262559600"; d="scan'208";a="52580646" Received: from ey-out-2122.google.com ([74.125.78.24]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Feb 2010 14:52:05 +0100 Received: by ey-out-2122.google.com with SMTP id 22so327480eye.7 for ; Thu, 11 Feb 2010 05:52:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=LmaSlt0pzHv/XXwQ5L4t7LLPJZ5MQZApPnfhUrF+Tng=; b=Eyq4AGn6lgUo3cKUnR0FwENqIOynEhIlm1E/RpKq4cbCjGyv4W7fV6EkwzYp/Ki+Gh ocG+tGdjrlEeX1tQb0eL8H5TH0xVjhP2VhJl3iX01zOt4QV5eifUJwyZSnw83lUFT3X1 VG/sIeGkakLVwgi+0eqgC+lL22vCuYoe7ym3Y= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=se3keXkNZ26BPX1rT1sA/99xdeQxWiAPDJOOyIF49bhvMgf7zv0b5NKNBlVxBGP6PU viDr48ZaXouiWjQ8nhVz0lqOoTUCQtFthiox1HTHP+c9zZGMQ7Jqk9NehaL+pdTnLF6Y xFPJqMUf/k641wL+K84dQ/RA1IkcFQ2+DbotE= MIME-Version: 1.0 Received: by 10.213.77.141 with SMTP id g13mr1557217ebk.3.1265896324925; Thu, 11 Feb 2010 05:52:04 -0800 (PST) In-Reply-To: <923d63e1a659ace0fee3550f81944e28.squirrel@mail.mpi-sws.org> References: <14cf844b1002081907y2900c313q97ae0cb6f4c92394@mail.gmail.com> <891bd3391002081959i4f9b70d4re1914ad7e439b5e3@mail.gmail.com> <4b39c80a1002110239i2fc1f555if642ed6a589d5b66@mail.gmail.com> <923d63e1a659ace0fee3550f81944e28.squirrel@mail.mpi-sws.org> Date: Thu, 11 Feb 2010 14:52:04 +0100 Message-ID: <4b39c80a1002110552w3d223293x5a2836bebcdf9e24@mail.gmail.com> Subject: Re: [Caml-list] Preventing values from escaping a context From: Alexey Rodriguez To: rossberg@mpi-sws.org Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; rossberg:01 fwiw:01 ocaml:01 encodings:01 pointers:01 cheers:01 wrote:01 andreas:01 caml-list:01 thu:05 problem:05 i'd:06 context:06 feb:08 escaping:09 On Thu, Feb 11, 2010 at 12:05 PM, wrote: >> But for this you need support from the type system (rank-2 universal >> quantification). > > FWIW, OCaml can express that, but it doesn't help the problem. Andreas, I'd be interested in seeing such encodings. Any pointers? Thanks! Cheers, Alexey