English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Type Inference and Overloading
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-04-10 (13:40)
From: Andrej Bauer <Andrej.Bauer@a...>
Subject: Re: [Caml-list] Type Inference and Overloading
On Monday 10 April 2006 10:51, Tom Primožiè wrote:
> I would like to pose one really perverse question (perverse because it
> mentions overloading).

To add insult to perversion, I will mention Haskell. Have you had a look at 
Haskell's type classes? They allow you to write "+" or "print" to mean many 
different things, while not doing actual overloading.

So if all you care about is usability for programmer, and not so much about 
overloading for the sake of overloading, type classes might be a nice option.

Andrej