From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 33856BC37 for ; Mon, 8 Feb 2010 03:04:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4BAGIAb0vUnwckjWdsb2JhbACbPgEBAQEHCwoJEQa6VoRUBA X-IronPort-AV: E=Sophos;i="4.49,425,1262559600"; d="scan'208";a="56201246" Received: from relay.ptn-ipout02.plus.net ([212.159.7.36]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Feb 2010 03:04:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAKT/bktUXebq/2dsb2JhbADWU4RUBA Received: from relay07.plus.net ([84.93.230.234]) by relay.ptn-ipout02.plus.net with ESMTP; 08 Feb 2010 02:04:30 +0000 Received: from [87.112.77.220] (helo=leper.local) by relay07.plus.net with esmtp (Exim) id 1NeIzF-0000ao-Ta for caml-list@yquem.inria.fr; Mon, 08 Feb 2010 02:04:30 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Power serious Date: Mon, 8 Feb 2010 03:20:03 +0000 User-Agent: KMail/1.9.9 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201002080320.03808.jon@ffconsultancy.com> X-Plusnet-Relay: f8a1c1ab82f1172adc84e343faed96a5 X-Spam: no; 0.00; haskell:01 haskell:01 ocaml:01 frog:98 arithmetic:01 rewritten:02 languages:03 doug:03 translate:04 comparison:05 i'd:06 example:10 ltd:87 www:84 www:84 I stumbled upon the following article that describes a remarkably simple implementation of arithmetic over power series in Haskell: http://www.cs.dartmouth.edu/~doug/powser.html This is the only compelling example of Haskell I have ever seen and I'd like to see this rewritten in other languages for comparison. Has anyone tried to translate this into OCaml? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e