From: Martin Chabr <martin_chabr@yahoo.de>
To: Tato Thetza <thetza@sent.com>
Cc: caml-list@yquem.inria.fr
Subject: Ant: [Caml-list] Re: OCaml efficiency/optimization?
Date: Sat, 29 Oct 2005 01:07:42 +0200 (CEST) [thread overview]
Message-ID: <20051028230743.29009.qmail@web26810.mail.ukl.yahoo.com> (raw)
In-Reply-To: <1130495033.8413.246225066@webmail.messagingengine.com>
The second reference you mentioned (Ocaml for
Experienced Programmers by Brian Hurt) is an excellent
and very detailed introduction to functional
programming in OCaml for C/C++/Java etc. programmers.
It explaines a lot on the subject of optimization
which I have not found elsewhere:
It makes clear how OCaml uses the built-in singly
linked lists, the role of data sharing in these and
what should be avoided for fast performance.
I think that this book contains more "secrets to be
used in production" than any other tutorial I know.
Another tutorial you might have a look at is the one
by Rich Jones of Merjis Co. at:
http://www.ocaml-tutorial.org/
It contains a chapter on performance and profiling at:
http://www.ocaml-tutorial.org/performance_and_profiling
Martin
--- Tato Thetza <thetza@sent.com> schrieb:
> sorry I meant
> Ocaml for Experienced Programmers:
>
http://www.bogonomicon.com/bblog/book/html/book1.html
>
> On Fri, 28 Oct 2005 03:21:43 -0700, "Tato Thetza"
> <thetza@sent.com>
> said:
> > I've been reading over
> >
>
http://caml.inria.fr/pub/docs/manual-ocaml/index.html
> and have learned
> > two things:
> > -lists are immutable and singly linked, which
> explains why 1::[2;3] is
> > valid while [2,3]::1 is not, and why its
> efficient.
> > -the proper way to ensure tail-recursive
> optimization
> >
> > question: are these and other optimizations
> documented somewhere
> > officially? I find it a little uncomfortable I've
> been learning OCaml
> > without knowning such internal details. Any
> secrets I should definitely
> > know if I were to use this language in production?
> >
> > thanks,
> > Tato Thetza
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
>
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list:
> http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
___________________________________________________________
Gesendet von Yahoo! Mail - Jetzt mit 1GB Speicher kostenlos - Hier anmelden: http://mail.yahoo.de
next prev parent reply other threads:[~2005-10-28 23:07 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-28 10:21 Tato Thetza
2005-10-28 10:23 ` Tato Thetza
2005-10-28 23:07 ` Martin Chabr [this message]
2005-10-31 23:50 ` Ocaml for Experienced Programmers Brian Hurt
2005-11-01 1:32 ` [Caml-list] " Yaron Minsky
2005-11-01 0:29 ` [Caml-list] Re: OCaml efficiency/optimization? Brian Hurt
2005-11-01 23:08 ` Matt Gushee
2005-10-28 12:15 ` [Caml-list] " Jon Harrop
2005-10-28 20:00 ` Jon Harrop
2005-10-28 13:03 ` Thomas Fischbacher
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=20051028230743.29009.qmail@web26810.mail.ukl.yahoo.com \
--to=martin_chabr@yahoo.de \
--cc=caml-list@yquem.inria.fr \
--cc=thetza@sent.com \
/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).