caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* status of some big "important" features?
@ 2000-12-26 23:47 Chris Hecker
  2000-12-28  9:10 ` Daniel de Rauglaudre
  2000-12-28 20:19 ` A proposal for overloading Christophe Raffalli
  0 siblings, 2 replies; 11+ messages in thread
From: Chris Hecker @ 2000-12-26 23:47 UTC (permalink / raw)
  To: caml-list


Hi, what's the status of adding these important (to me :) features:

1.  Overloading?  Now that I'm writing some real ocaml code, not only is the + vs. +. thing ugly and killing me in mixed int/float code (((float i)/.8.*.4.*.pi-.2.*.pi <- yuck!, I'm half way to writing an emacs syntax table that hides the damn . after the arithmetic ops :)), it would really make life easier to have things like fst be definable for ('a,'b) and ('a,'b,'c), etc., or have functions with different numbers of arguments (the label default args only go so far and aren't really dynamic enough).  I know this is hard with type inference, but is it possible?

2.  Module recursion or Tom Hirschowitz's mixin modules?  Forward declarations?  Anything?

3.  Pierre Weis's generics stuff ($a, etc.) from a post in April?  Hopefully as compile-time optimizable as possible where possible to match C++ templates for speed when you don't do something like put generics in a data structure.

Any status updates, dates, addresses to send money to speed things up? :)

Thanks,
Chris

PS.  Minor question I thought of the other day...is there any way to write "nth" for tuples (as opposed to "fst", which is hard-coded to 2-tuples)?  This is related to the overloading and generic questions above, but it also touches on some introspection issues, since nth would need to know the "length" of the tuple to either recurse or loop.  I guess I could use camlp4 for this if I really wanted to...couldn't I?



^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2001-01-03 10:51 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-12-26 23:47 status of some big "important" features? Chris Hecker
2000-12-28  9:10 ` Daniel de Rauglaudre
2000-12-30 19:30   ` Chris Hecker
2000-12-30 20:53     ` Daniel de Rauglaudre
2000-12-31  1:58       ` Chris Hecker
2000-12-31  3:08         ` Daniel de Rauglaudre
2001-01-02 17:39           ` William Chesters
2000-12-31 20:39   ` John Max Skaller
2000-12-28 20:19 ` A proposal for overloading Christophe Raffalli
2001-01-02 10:38   ` Didier Remy
2001-01-02 19:08     ` Christophe Raffalli

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).