From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id EE62ABBAF
	for <caml-list@yquem.inria.fr>; Wed, 11 Aug 2010 15:00:33 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av4BAOs7YkxKfVIukGdsb2JhbACUPotdCBUBAQEBCQkMBxEDH6BMiyEBBY8lAQSFOg
X-IronPort-AV: E=Sophos;i="4.55,352,1278280800"; 
   d="scan'208";a="55306941"
Received: from mail-ww0-f46.google.com ([74.125.82.46])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Aug 2010 15:00:33 +0200
Received: by wwb18 with SMTP id 18so53456wwb.3
        for <caml-list@yquem.inria.fr>; Wed, 11 Aug 2010 06:00:33 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:cc:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=+lIHrrx19NYmAa4+ggNJZ3uYF1BgXtEmT1p4bfBlCSE=;
        b=nXvJcYfVQpXpG7EFi1k/IlNfzHOo/dpipOsMoogAgrvT1dr7BWps+2a+sbEY2Mh5wO
         II6b2KBWDpxv5hyDKLrorVZHJa8gZPyGyxesVlIRP3nXRjaC8VxO47BVKaXGKqVlVa+A
         lFJvE/Ee8XWqhXQq8OkGeRohyi/4tOAUNFGaE=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:cc:references:in-reply-to:subject:date:organization
         :message-id:mime-version:content-type:content-transfer-encoding
         :x-mailer:thread-index:content-language;
        b=Y8i7eSI+2T0lG74+aeAqxIQjc5GpnoAjDEetzI8BD6MY5jSmZkLRE4x/E6YNe2Nqxn
         tzU74vKrE/kqM9ceqbc0W7pSk3Z8BtVkQ64m1M/EdxwnFSAWnQk+FfoV7icA7V2DlVfk
         96hG9eXvRmlE5pB2p9bP9B3W07/3Ipn1sKLRc=
Received: by 10.216.177.205 with SMTP id d55mr5262291wem.76.1281531633354;
        Wed, 11 Aug 2010 06:00:33 -0700 (PDT)
Received: from WinEight ([87.113.155.108])
        by mx.google.com with ESMTPS id n40sm57205weq.5.2010.08.11.06.00.32
        (version=SSLv3 cipher=RC4-MD5);
        Wed, 11 Aug 2010 06:00:32 -0700 (PDT)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Jeremy Bem'" <jeremy1@gmail.com>,
	"'Florian Weimer'" <fw@deneb.enyo.de>
Cc: "'caml-list List'" <caml-list@yquem.inria.fr>
References: <AANLkTi=UuefVu9CmwwomimGzMqFrks5SZ+227Znv5r+z@mail.gmail.com>	<877hk1m1df.fsf@mid.deneb.enyo.de>	<AANLkTi=L07p_xN7DCZQn0j+iy=-_7FzCrTm6KOf6oaJU@mail.gmail.com>	<87bp9dkkca.fsf@mid.deneb.enyo.de> <AANLkTinP=6cJngRum-oxeNJ01yCnUyTD4CQ9FNd8Z1tY@mail.gmail.com>
In-Reply-To: <AANLkTinP=6cJngRum-oxeNJ01yCnUyTD4CQ9FNd8Z1tY@mail.gmail.com>
Subject: RE: [Caml-list] interest in a much simpler, but modern, Caml?
Date: Wed, 11 Aug 2010 14:00:05 +0100
Organization: Flying Frog Consultancy
Message-ID: <03fa01cb3955$1f98ebb0$5ecac310$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: Acs3MXqZ3ArSp5V7SMmCIYySwcU30gCI16jg
Content-Language: en-gb
X-Spam: no; 0.00; ad-hoc:01 polymorphism:01 compiler:01 run-time:01 cheers:01 polymorphic:01 char:01 syntactic:01 ints:01 caml-list:01 caml:02 floats:02 back-end:02 primitive:02 primitive:02 

> One issue I ran into was syntactic.  How would you write:
>  if 'A' <= c && c <= 'Z' then ...
> where c is a char, without polymorphic comparison, and without more
radical changes such as type
> classes?  

SML's ad-hoc polymorphism. Would also be nice if you could fill out the
primitive types with 32-bit floats, ints of different sizes and so on.

Also, would be excellent if you could make the compiler agnostic with regard
to the run-time representation of these types so a new back-end could unbox
all primitive types.

Cheers,
Jon.