From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <andrej.bauer@andrej.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id E2E7EBBAF
	for <caml-list@yquem.inria.fr>; Wed, 17 Feb 2010 18:17:26 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhUCAB6ze0vRVdzSkGdsb2JhbACDBZAxh0QIFQEBAQEJCQwHEwMgriKPc4EwglFcBA
X-IronPort-AV: E=Sophos;i="4.49,492,1262559600"; 
   d="scan'208";a="52928706"
Received: from mail-fx0-f210.google.com ([209.85.220.210])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Feb 2010 18:17:26 +0100
Received: by fxm2 with SMTP id 2so1487671fxm.7
        for <caml-list@yquem.inria.fr>; Wed, 17 Feb 2010 09:17:26 -0800 (PST)
MIME-Version: 1.0
Received: by 10.87.51.9 with SMTP id d9mr14830109fgk.35.1266426574080; Wed, 17 
	Feb 2010 09:09:34 -0800 (PST)
In-Reply-To: <201002161808.21283.jon@ffconsultancy.com>
References: <756daca51002160847k1a416f01p36cc192d00e25697@mail.gmail.com>
	 <201002161808.21283.jon@ffconsultancy.com>
Date: Wed, 17 Feb 2010 18:09:34 +0100
Message-ID: <7d8707de1002170909w34ec675fse28c4951d6b52e13@mail.gmail.com>
Subject: Re: WAS Re: [Caml-list] Re: The need to specify 'rec' in a recursive 
	function defintion
From: Andrej Bauer <andrej.bauer@andrej.com>
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; recursive:01 defintion:01 andrej:01 andrej:01 rec:01 caml-list:01 specify:06 function:08 bauer:09 bauer:09 think:13 moreover:13 burden:14 but:14 such:14 

>Moreover, the burden of "rec" is tiny so I don't think it is worth
>discussing in such detail.

Ah, but you are forgetting Wadler's Law.