Version française
Home     About     Download     Resources     Contact us    
Browse thread
Estimating the size of the ocaml community
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michael Walter <michael.walter@g...>
Subject: Re: [Caml-list] The boon of static type checking
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