From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 9EF8EBB9A for ; Fri, 28 Oct 2005 12:23:57 +0200 (CEST) Received: from out3.smtp.messagingengine.com (out3.smtp.messagingengine.com [66.111.4.27]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9SANv2l022355 for ; Fri, 28 Oct 2005 12:23:57 +0200 Received: from frontend1.internal (mysql-sessions.internal [10.202.2.149]) by frontend1.messagingengine.com (Postfix) with ESMTP id 8115CCD8918 for ; Fri, 28 Oct 2005 06:23:56 -0400 (EDT) Received: from web2.messagingengine.com ([10.202.2.211]) by frontend1.internal (MEProxy); Fri, 28 Oct 2005 06:23:56 -0400 Received: by web2.messagingengine.com (Postfix, from userid 99) id 61754764; Fri, 28 Oct 2005 06:23:53 -0400 (EDT) Message-Id: <1130495033.8413.246225066@webmail.messagingengine.com> X-Sasl-Enc: YKk0hqOo7bkJyWjLyOdiB/dQ9mi68bNgNwdB/0GnmkND 1130495033 From: "Tato Thetza" To: caml-list@yquem.inria.fr Content-Disposition: inline Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="ISO-8859-1" MIME-Version: 1.0 X-Mailer: MIME::Lite 1.5 (F2.73; T1.15; A1.64; B3.05; Q3.03) References: <1130494903.8339.246224558@webmail.messagingengine.com> Subject: Re: OCaml efficiency/optimization? In-Reply-To: <1130494903.8339.246224558@webmail.messagingengine.com> Date: Fri, 28 Oct 2005 03:23:53 -0700 X-Miltered: at nez-perce with ID 4361FC3D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 immutable:01 caml:02 somewhere:02 optimization:03 optimization:03 meant:05 fri:05 docs:05 inria:05 linked:06 efficient:06 efficiency:07 2005:91 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=DNS_FROM_RFC_ABUSE, FORGED_RCVD_HELO autolearn=disabled version=3.0.3 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" 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