Browse thread
Type Inference and Overloading
-
Tom_Primo¾iè
- skaller
- Andrej Bauer
- Brian Hurt
- Stefan Monnier
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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