caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: brogoff@speakeasy.net
To: Brian Hurt <brian.hurt@qlogic.com>
Cc: David Monniaux <David.Monniaux@ens.fr>,
	hermanns <jan_hermanns@gmx.de>,
	"caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] Why are arithmetic functions not polymorph?
Date: Fri, 23 May 2003 13:25:54 -0700 (PDT)	[thread overview]
Message-ID: <Pine.LNX.4.44.0305231309330.25081-100000@grace.speakeasy.net> (raw)
In-Reply-To: <Pine.LNX.4.33.0305231259070.2037-100000@eagle.ancor.com>

On Fri, 23 May 2003, Brian Hurt wrote:
> On Fri, 23 May 2003 brogoff@speakeasy.net wrote:
> 
> > > SML has a kind of operator overloading, but I don't know the details.
> > 
> > SML doesn't allow the user to define overloadings, and that is an 
> > abomination. Java is similarly abominable. 
> > 
> 
> Ocaml allows you to define *new* operators to your heart's content.  You
> just can't overload the meanings of old operators.

I understand the difference between operator redefinition, which OCaml and 
SML have, and user defined overloading, which neither has, but which can be 
found in Haskell and Clean (sort of, through type classes) and C++ and Ada. 

I actually think overloading can be *really* *really* good. The problem, or 
rather, one of the many problems, with C++ IMO is that it has overloading and 
implicit conversions of types. That's a bad combination. 

One nice thing about GCaml is that it shouldn't bother people like you who 
dislike overloading. The overloading is fairly explicit and closed world. 
It gracefully handles the most important, very simple cases, and sneaks 
in the ability to type a much wider range of functions than can be typed now. 
You should at least take a look at the README in the prototype to get an idea of 
what I mean here. 

New operators are not sufficient, and SML is more powerful in it's ability to 
define new operators than OCaml (minus CamlP4) is. 

-- Brian


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  parent reply	other threads:[~2003-05-23 20:25 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-05-22 22:31 hermanns
2003-05-22 23:10 ` Brian Hurt
2003-05-23  1:34 ` Nicolas Cannasse
2003-05-23  9:56 ` David Monniaux
2003-05-23 10:13   ` Ville-Pertti Keinonen
2003-05-23 16:34   ` brogoff
2003-05-23 18:02     ` Brian Hurt
2003-05-23 18:12       ` Matt Gushee
2003-05-23 20:25       ` brogoff [this message]
2003-05-23 21:15         ` Brian Hurt
2003-05-23 21:23           ` brogoff
2003-06-03  3:42         ` John Max Skaller
2003-06-03  4:10           ` Oleg Trott
2003-06-03  6:57             ` John Max Skaller
2003-06-03  3:25       ` John Max Skaller
2003-06-06  7:08         ` easy print and read (was: [Caml-list] Why are arithmetic functions not polymorph?) Oleg Trott
2003-06-06 10:46           ` Pierre Weis
2003-06-06 16:40             ` brogoff
2003-06-07 10:59               ` Stefano Zacchiroli
2003-06-07 14:44               ` Jun.Furuse
2003-06-08  6:32                 ` brogoff
2003-06-08  8:49             ` Chris Hecker
2003-06-09  9:40               ` Jun.Furuse

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=Pine.LNX.4.44.0305231309330.25081-100000@grace.speakeasy.net \
    --to=brogoff@speakeasy.net \
    --cc=David.Monniaux@ens.fr \
    --cc=brian.hurt@qlogic.com \
    --cc=caml-list@inria.fr \
    --cc=jan_hermanns@gmx.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).