From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 578CDBBAF for ; Thu, 21 Aug 2008 10:47:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsUGAOvHrEiK54gDTGdsb2JhbACSEgEBFQUcBS2iUoFm X-IronPort-AV: E=Sophos;i="4.32,244,1217800800"; d="scan'208";a="14152771" Received: from rouge.crans.org ([138.231.136.3]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Aug 2008 10:47:58 +0200 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id B982B9DEC for ; Thu, 21 Aug 2008 10:47:57 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at crans.org Received: from rouge.crans.org ([10.231.136.3]) by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024) with LMTP id ZmM0eVZuB6gF for ; Thu, 21 Aug 2008 10:47:57 +0200 (CEST) Received: from [138.231.138.207] (doomeer.crans.org [138.231.138.207]) by rouge.crans.org (Postfix) with ESMTP id 99B229DD2 for ; Thu, 21 Aug 2008 10:47:57 +0200 (CEST) Message-ID: <48AD2BBD.7010702@doomeer.com> Date: Thu, 21 Aug 2008 10:47:57 +0200 From: DooMeeR User-Agent: Thunderbird 2.0.0.14 (X11/20080502) MIME-Version: 1.0 To: "caml-list@yquem.inria.fr" Subject: Re: [Caml-list] Haskell vs OCaml References: <48AC00EC.80503@soton.ac.uk> In-Reply-To: <48AC00EC.80503@soton.ac.uk> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; haskell:01 ocaml:01 anvil:98 hammer:98 caml-list:01 thesis:01 fork:05 fork:05 quite:08 equivalent:09 comparing:11 question:13 using:15 using:15 advantages:16 > What are the advantages/disadvantages when comparing a fork to a spoon? From Church's thesis, one can easily answer this question: they are equivalent. The reduction is quite easy. A fork can be reduced to a spoon using a fire, an anvil and a hammer, and a spoon can be reduced to a fork using a saw. Hope this helps. -- Romain Bardou