From: "Milan Stanojević" <milanst@gmail.com>
To: Hongbo Zhang <hzhang295@bloomberg.net>, Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] question: restrictions on `let rec`
Date: Tue, 12 Jul 2016 18:17:49 -0400 [thread overview]
Message-ID: <CAKR7PS9tXgypHtVGq+wRiZSr3g-CzcaB+-d_DKFp-hyj-RFo6A@mail.gmail.com> (raw)
In-Reply-To: <CAKR7PS_0=p9mLSVo0vE0YN=DDH4PhCoHboEE_1NWPAf+opq_jg@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 827 bytes --]
What are you trying to accomplish exactly?
What type do you want fib to have?
I usually use lazy and force to get around let rec limitations and that
usually allows for only local uglyness, the lazy types usually don't escape.
>
> On Jul 12, 2016 5:37 PM, "Hongbo Zhang (BLOOMBERG/ 731 LEX)" <
hzhang295@bloomberg.net> wrote:
>>
>> Hi all,
>> I have a question simplified as below:
>>
>> let rec fib = fun x -> fib (x - 1);;
>> val fib : int -> 'a = <fun>
>> # let rec fib = (Obj.magic (fun x -> fib (x - 1)) : int -> 'a);;
>> Characters 15-47:
>> let rec fib = (Obj.magic (fun x -> fib (x - 1)) : int -> 'a);;
>> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>> Error: This kind of expression is not allowed as right-hand side of `let
rec'
>>
>> I know `fib` is a legal expression, is there any way to work around it?
>> Thanks -- Hongbo
[-- Attachment #2: Type: text/html, Size: 1128 bytes --]
next prev parent reply other threads:[~2016-07-12 22:17 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-12 21:37 Hongbo Zhang (BLOOMBERG/ 731 LEX)
[not found] ` <CAKR7PS-2wF19FXo0Qo=x1SM-cuMDUpS-333d10fJzzDBR8XoTg@mail.gmail.com>
[not found] ` <CAKR7PS94hePcfyMUKGq0wH-VUZQYdu=hN2jcCXD9z3jcFSwHiw@mail.gmail.com>
[not found] ` <CAKR7PS_0=p9mLSVo0vE0YN=DDH4PhCoHboEE_1NWPAf+opq_jg@mail.gmail.com>
2016-07-12 22:17 ` Milan Stanojević [this message]
2016-07-14 9:07 ` Goswin von Brederlow
2016-07-13 13:56 Hongbo Zhang (BLOOMBERG/ 731 LEX)
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAKR7PS9tXgypHtVGq+wRiZSr3g-CzcaB+-d_DKFp-hyj-RFo6A@mail.gmail.com \
--to=milanst@gmail.com \
--cc=caml-list@inria.fr \
--cc=hzhang295@bloomberg.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).