From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <arnaud.spiwack@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 068FEBBC1
	for <caml-list@yquem.inria.fr>; Mon, 21 Apr 2008 23:06:47 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Au0AAMaeDEjRVYC7c2dsb2JhbACRUwEMAwQFCRSVIYNb
X-IronPort-AV: E=Sophos;i="4.25,691,1199660400"; 
   d="scan'208";a="25294951"
Received: from fk-out-0910.google.com ([209.85.128.187])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Apr 2008 23:06:47 +0200
Received: by fk-out-0910.google.com with SMTP id b27so3359034fka.11
        for <caml-list@yquem.inria.fr>; Mon, 21 Apr 2008 14:06:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding:sender;
        bh=kPx3X60ntMvmQrSJFoUEyVOoWM4Z/x1ohsC5rSGYNF8=;
        b=hMfUTjPxEScYD0VYanJOouxSKw2+VJEpth9kChmrgYmEs0v2p50FjH1vNFJyiaaYDQABQRXCjPEbOauQIBwFFS4p9m+lwf5/m8EuDcRhekYuWw6faGl2uxhSf2mD8AnGXFO5kUGhSKuD1Azk3qitCp0RP0ZsSQiEiJ1m21KHFIw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding:sender;
        b=q+G7HtQO12ujgmj93q1T0afunHT12Rdv+h7UHsB0m1PFOw/VZ2yoJmCuPagyfE9RLpKeXdNIIUIVtZ79TkijrijiFwX4CD7wGIVY4xmqqE0i2SuK8k6q5UQq/jX/dFd3lh6yTbSe6ftZ/tCdzbK895but5AdX2fVuCJXn52OhUQ=
Received: by 10.82.181.7 with SMTP id d7mr11697194buf.53.1208812007055;
        Mon, 21 Apr 2008 14:06:47 -0700 (PDT)
Received: from ?192.168.0.123? ( [83.248.233.191])
        by mx.google.com with ESMTPS id u9sm16237867muf.4.2008.04.21.14.06.44
        (version=SSLv3 cipher=RC4-MD5);
        Mon, 21 Apr 2008 14:06:45 -0700 (PDT)
Message-ID: <480D01E4.5060207@lix.polytechnique.fr>
Date: Mon, 21 Apr 2008 23:06:44 +0200
From: Arnaud Spiwack <Arnaud.Spiwack@lix.polytechnique.fr>
User-Agent: Thunderbird 2.0.0.12 (Windows/20080213)
MIME-Version: 1.0
To: Richard Jones <rich@annexia.org>
Cc: Jon Harrop <jon@ffconsultancy.com>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] The closing gap (warning: long, inflammatory rant)
References: <b903a8570804210527p1e6170ddicbd9efef41d9768a@mail.gmail.com>	<20080421131151.GA16777@annexia.org>	<200804211544.08897.jon@ffconsultancy.com> <20080421204721.GA11434@annexia.org>
In-Reply-To: <20080421204721.GA11434@annexia.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Sender: Arnaud Spiwack <arnaud.spiwack@gmail.com>
X-Spam: no; 0.00; lix:01 jocaml:01 low-level:01 threads:01 threads:01 garbage:01 arnaud:01 arnaud:01 caml-list:01 argument:02 fork:05 long:06 thread:06 interface:06 interface:06 


> Thanks for the straw man argument there.  Garbage collectors and _not_
> using threads both improve the safety of the language.
>   
This might depend on what kind of thread interface you are provided 
with. Of course it's never easy to work with non-determinism, but if I 
take jocaml for instance, which gives you a process (in the sense of 
pi-calculus) interface to threads, and it makes it probably rather safe 
actually, possibly stronger safety when dealing with multiple processes 
(or UI threads possibly) than doing things with low-level primitves like 
fork and such.