Browse thread
WAS Re: [Caml-list] Re: The need to specify 'rec' in a recursive function defintion
-
Grant Rettke
-
Jon Harrop
- Andrej Bauer
- Grant Rettke
-
Jon Harrop
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2010-02-17 (17:17) |
| From: | Andrej Bauer <andrej.bauer@a...> |
| Subject: | Re: WAS Re: [Caml-list] Re: The need to specify 'rec' in a recursive function defintion |
>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.