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 18AC4BC37 for ; Tue, 9 Feb 2010 18:18:49 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsBAA4ocUvRVdnhkWdsb2JhbACDM413ghKHSjwBAQEBCQsKBxMDrkwugUqFLIhxAQEDBYN0WwQ X-IronPort-AV: E=Sophos;i="4.49,437,1262559600"; d="scan'208";a="52197867" Received: from mail-gx0-f225.google.com ([209.85.217.225]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Feb 2010 18:18:48 +0100 Received: by gxk25 with SMTP id 25so5316442gxk.17 for ; Tue, 09 Feb 2010 09:18:48 -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=C2lCKugTEVkt7Xs6qjMlTwbYd7lXz6xH+4ekgoJuySE=; b=R1eS/yFmM4O7ahPyDtFWJA+U5haHidPO84YOhNv+FEZ2tqTSnPaMiVP4+LZxQh8p7/ V0N11XKROO0CXh7NRUge+LPl0W5xctbxDukW53hDcWDQsqrgWJahlGpL1pD0CbRF/u86 dx67nMTaBlRBqqclYU3b+6WSxiXiPZ/0YYFmI= 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=Vd4DFGwVL4KSgKz9Ju+G/x+Gk0rp4VyeJL3lmU+zal2w1hE2r4t4jD76RC7ioGDWiM bi2V7H4DPotEOvJV9YUq2pxILikh1ue0gxCgBnMpw9CW0siRl6nRzYWE/OvlrkF/0gxq oaasX5UKvObajPm0ohLw2SsFbXdLSZ1K3vXEM= MIME-Version: 1.0 Received: by 10.101.129.1 with SMTP id g1mr10894430ann.28.1265735928000; Tue, 09 Feb 2010 09:18:48 -0800 (PST) In-Reply-To: <30961e501002090024l18a9b458y8b3a7bd910626d38@mail.gmail.com> References: <14cf844b1002081907y2900c313q97ae0cb6f4c92394@mail.gmail.com> <20100209.123813.39168535.garrigue@math.nagoya-u.ac.jp> <30961e501002090024l18a9b458y8b3a7bd910626d38@mail.gmail.com> Date: Tue, 9 Feb 2010 11:18:47 -0600 Message-ID: <14cf844b1002090918h65a03eaay142d244a1ed26019@mail.gmail.com> Subject: Re: [Caml-list] Preventing values from escaping a context From: Rich Neswold To: Miles Sabin Cc: Jacques Garrigue , caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016e68dd5f25e326f047f2e1c3c X-Spam: no; 0.00; uniqueness:01 uniqueness:01 wrote:01 wrote:01 caml-list:01 linear:02 linear:02 types:05 types:05 mainstream:06 mainstream:06 tue:06 tue:06 shared:06 shared:06 X-Attachments: cset="UTF-8" cset="UTF-8" --0016e68dd5f25e326f047f2e1c3c Content-Type: text/plain; charset=UTF-8 On Tue, Feb 9, 2010 at 2:24 AM, Miles Sabin wrote: > Scala isn't the only language which supports linear/uniqueness types, > however it's the only which does and has some prospect of becoming > mainstream. > Interesting. Thanks for the information! -- Rich Google Reader: https://www.google.com/reader/shared/rich.neswold Jabber ID: rich@neswold.homeunix.net --0016e68dd5f25e326f047f2e1c3c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Tue, Feb 9, 2010 at 2:24 AM, Miles Sabin <miles@milessabin.com> wrote:=
Scala isn't the only language which supports linear/u= niqueness types,
however it's the only which does and has some prospect of becoming
mainstream.

Interesting. Thanks f= or the information!

--
Rich

Google Reader: https://www.google.com/re= ader/shared/rich.neswold
Jabber ID: rich@neswold.homeun= ix.net
--0016e68dd5f25e326f047f2e1c3c--