Version franįaise
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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.