Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
functions' recursive construction
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-07 (20:27)
From: Fabrice Marchant <fabricemarchant@f...>
Subject: Re: [Caml-list] functions' recursive construction
On Mon, 7 Jul 2008 15:04:17 -0500
"William Neumann" <> wrote:

> For a quick hint as to why you cannot write such a function, ask
> yourself what the type of f would be.
> Consider just the two cases of the type of (f 1) and (f 2).

Thanks for your swift answer,

So it's 'No', as I guessed, because the types of your two cases are different.

After Coq, maybe could we program this in Lisp ?