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 TAA29260 for caml-redistribution; Sat, 2 Oct 1999 19:51:16 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA16561 for ; Fri, 1 Oct 1999 13:54:33 +0200 (MET DST) Received: from bambi.iway.fr (bambi.iway.fr [194.98.65.10]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA11734 for ; Fri, 1 Oct 1999 13:54:31 +0200 (MET DST) Received: from alexandre.pactenovation.fr (pactenovation-gw.iway.fr [194.98.144.67]) by bambi.iway.fr (8.9.1/8.9.1) with ESMTP id NAA09972 for ; Fri, 1 Oct 1999 13:54:22 +0200 (MET DST) Received: from ppp-115-88.villette.club-internet.fr by alexandre.pactenovation.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.0.1459.74) id T8Q5XLDB; Fri, 1 Oct 1999 13:48:28 +0200 Message-ID: <002001bf0c03$b9e522a0$490ad227@aladin> From: "David Jemmi" To: "CAML Mailing list" Subject: =?iso-8859-1?Q?OCaml_et_l'évaluation_paresseuse?= Date: Fri, 1 Oct 1999 13:54:13 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 4.72.3110.5 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Sender: weis Haskell supporte l'évaluation paresseuse pour tous les appels de fonctions et pas OCaml. D'après un article que je viens de lire "Why Functional Programming Matters" (http://www.md.chalmers.se/~rjmh/Papers/whyfp.html), l'auteur explique que les fonctions d'ordre supérieur et l'évaluation paresseuse font partie des évolutions majeures apportées par les langages fonctionnelles. Les auteurs d'Haskell on l'air d'insister sur ce point. Pourquoi OCaml (ou caml) n'utilise pas l'évaluation paresseuse par défaut ?? (pour les problèmes de performances, je pense qu'un bon optimiseur suffit). Merci. Stéphane Baubillier baubillier@hotmail.com