From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <michael.walter@gmail.com>
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 57A2FBC8B
	for <caml-list@yquem.inria.fr>; Mon, 14 Feb 2005 02:19:12 +0100 (CET)
Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.198])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1E1JBDs017501
	for <caml-list@yquem.inria.fr>; Mon, 14 Feb 2005 02:19:12 +0100
Received: by rproxy.gmail.com with SMTP id g11so1047446rne
        for <caml-list@yquem.inria.fr>; Sun, 13 Feb 2005 17:19:11 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:references;
        b=DJeY6N1YWRbtgmHcDlmVhbkLXoauG937bzc8tHwDtIoYDxG3Iv6QAwhjVyoLxaERe/M1tR6Wp1eqgyzHbNnOdrfTYR6Fly9Xfat0uVTPRMTlpOLsUeFvb77/mGmFlk4QpVWIwmZ8s9lRkmS605NEJf+V88knxkUmMvapPSJNR6M=
Received: by 10.38.151.41 with SMTP id y41mr50634rnd;
        Sun, 13 Feb 2005 17:19:11 -0800 (PST)
Received: by 10.38.86.80 with HTTP; Sun, 13 Feb 2005 17:19:11 -0800 (PST)
Message-ID: <877e9a17050213171954b6cec0@mail.gmail.com>
Date: Sun, 13 Feb 2005 20:19:11 -0500
From: Michael Walter <michael.walter@gmail.com>
Reply-To: Michael Walter <michael.walter@gmail.com>
To: Thomas Fischbacher <Thomas.Fischbacher@physik.uni-muenchen.de>
Subject: Re: [Caml-list] The boon of static type checking
Cc: Daniel Heck <dheck@ix.urz.uni-heidelberg.de>,
	caml-list@yquem.inria.fr
In-Reply-To: <Pine.LNX.4.58.0502140134570.520@eiger.cip.physik.uni-muenchen.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
References: <877e9a17050206221653d14456@mail.gmail.com>
	 <Pine.LNX.4.58.0502130310510.22145@eiger.cip.physik.uni-muenchen.de>
	 <20050213112630.73930e19@hobbes>
	 <Pine.LNX.4.58.0502131358230.8773@eiger.cip.physik.uni-muenchen.de>
	 <877e9a1705021312525337a907@mail.gmail.com>
	 <Pine.LNX.4.58.0502132237040.24651@eiger.cip.physik.uni-muenchen.de>
	 <877e9a1705021314512ff095b9@mail.gmail.com>
	 <Pine.LNX.4.58.0502140031390.30259@eiger.cip.physik.uni-muenchen.de>
	 <877e9a1705021316114d4e10f0@mail.gmail.com>
	 <Pine.LNX.4.58.0502140134570.520@eiger.cip.physik.uni-muenchen.de>
X-Miltered: at nez-perce with ID 420FFC8F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 wrote:01 conceptually:01 ad-hoc:01 avoids:01 checking:01 physik:02 black:96 languages:03 tradeoff:03 narrowing:03 static:03 scheme:04 i'd:05 quite:06 
X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled 
	version=3.0.2
X-Spam-Level: 

On Mon, 14 Feb 2005 01:42:11 +0100 (CET), Thomas Fischbacher
<Thomas.Fischbacher@physik.uni-muenchen.de> wrote:
> Judging from the .NET CLR specification, I'd say that conceptually, scheme
> does the far better job, as it does not treat such lots of non-fundamental
> ad-hoc concepts (in particular, everything related to OO) as fundamental.

I forgot to reply to this point. This again is a tradeoff between
conceptual purity and real world pragmatics. In this case, for
instance interopability is simplified by narrowing the design space
for CLR languages. It obviously avoids quite a bit of "Greenspunning",
as well.

The world is not black is not white-ly yours,
Michael