From: Brian Hurt <bhurt@spnz.org>
To: Jim Farrand <jim@farrand.net>
Cc: Caml Mailing List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Typeclasses in OCaml (Was: Haskell vs OCaml)
Date: Thu, 14 Aug 2008 20:21:11 -0400 (EDT) [thread overview]
Message-ID: <Pine.LNX.4.64.0808142009500.16431@localhost> (raw)
In-Reply-To: <e16c7bcd0808140746r4cd42fedo4fb6474d687274c4@mail.gmail.com>
On Thu, 14 Aug 2008, Jim Farrand wrote:
> 2008/8/14 Peng Zang <peng.zang@gmail.com>:
>
> Out of curiosity, are there any theoretical reasons why OCaml could
> not be extended with type classes? They are one of my favourite
> features of Haskell, and I think they would really improve OCaml.
Because everything you can do with type classes you can do with monads and
functors, and vice-versa. If you're thinking "hey, this would be a real
nice function to have type classes for", try functorizing it. Use the
features the language already has, instead of wishing for new ones.
Some things are clunky to do in functors, I agree, but the same can be
said of type classes- and I'm far from convinced that type classes are
innately a better idea than functors.
Brian
prev parent reply other threads:[~2008-08-14 23:40 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-08-14 14:46 Jim Farrand
2008-08-14 15:21 ` [Caml-list] " Peng Zang
2008-08-14 15:38 ` Jon Harrop
2008-08-14 16:04 ` Jim Farrand
2008-08-14 17:13 ` Peng Zang
2008-08-14 18:37 ` Till Varoquaux
2008-08-15 11:03 ` Wolfgang Lux
2008-08-14 20:53 ` Nathaniel Gray
2008-08-14 22:33 ` Erik de Castro Lopo
2008-08-15 0:21 ` Brian Hurt [this message]
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.64.0808142009500.16431@localhost \
--to=bhurt@spnz.org \
--cc=caml-list@yquem.inria.fr \
--cc=jim@farrand.net \
/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).