English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    
Browse thread
interest in a much simpler, but modern, Caml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jonathandeanharrop@g...>
Subject: RE: [Caml-list] interest in a much simpler, but modern, Caml?
> 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.