From: Dirk Thierbach <dthierbach@gmx.de>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Unexpected restriction in "let rec" expressions
Date: Tue, 26 Feb 2008 15:57:17 +0100 [thread overview]
Message-ID: <20080226145717.GA6521@feanor> (raw)
In-Reply-To: <6f9f8f4a0802260424o5bce2fd9i89fbfa38bb239a6a@mail.gmail.com>
On Tue, Feb 26, 2008 at 01:24:57PM +0100, Loup Vaillant wrote:
> I was trying to translate this simple Haskell definition in Ocaml:
>
> loop :: ((a,c) -> (b,c)) -> a -> b
> loop f a = b
> where (b,c) = f (a,c)
How do you expect that to work under strict instead of lazy evaluation? :-)
- Dirk
next prev parent reply other threads:[~2008-02-26 15:38 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-02-26 12:24 Loup Vaillant
2008-02-26 14:04 ` [Caml-list] " Jean-Christophe Filliâtre
2008-02-26 14:18 ` Damien Doligez
2008-02-26 14:34 ` Loup Vaillant
2008-02-26 14:51 ` Gabriel Kerneis
2008-02-26 14:56 ` blue storm
2008-02-26 17:48 ` Nicolas Pouillard
2008-02-26 14:57 ` Dirk Thierbach [this message]
2008-02-27 8:53 ` Andrej Bauer
2008-02-27 9:43 ` Loup Vaillant
2008-02-27 12:02 ` Dirk Thierbach
2008-02-27 14:04 ` Loup Vaillant
2008-02-27 16:41 ` Dirk Thierbach
2008-02-27 23:32 ` Loup Vaillant
2008-02-27 19:03 ` Pal-Kristian Engstad
2008-02-27 23:46 ` Loup Vaillant
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=20080226145717.GA6521@feanor \
--to=dthierbach@gmx.de \
--cc=caml-list@yquem.inria.fr \
/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).