From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA04028 for caml-redistribution; Tue, 12 Jan 1999 16:31:23 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA22247 for ; Tue, 12 Jan 1999 13:30:11 +0100 (MET) Received: from mcfs.whowhere.com (mcfs.whowhere.com [209.1.236.44]) by concorde.inria.fr (8.8.7/8.8.7) with SMTP id NAA15774 for ; Tue, 12 Jan 1999 13:30:09 +0100 (MET) Received: from Unknown/Local ([?.?.?.?]) by my-dejanews.com; Tue Jan 12 04:06:59 1999 To: caml-list@pauillac.inria.fr Date: Tue, 12 Jan 1999 12:06:59 -0000 From: "Marc Rouaix" Message-ID: Mime-Version: 1.0 X-Sent-Mail: off X-Mailer: MailCity Service Subject: Re: Map is not tail recursive X-Sender-Ip: 134.10.2.18 Organization: Deja News Mail (http://www.my-dejanews.com:80) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis I should have added that you can then write a function like this to choose your map function for you. let general_map fn lst = let n = List.length lst in if n < 1000 then List.map fn lst else jump_map (truncate (sqrt (float n))) fn lst --- Marc -----== Sent via Deja News, The Discussion Network ==----- http://www.dejanews.com/ Easy access to 50,000+ discussion forums