From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Chris Hecker <checker@d6.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] currying...
Date: Tue, 6 Mar 2001 17:31:50 +0100 [thread overview]
Message-ID: <20010306173150.A12522@pauillac.inria.fr> (raw)
In-Reply-To: <4.3.2.7.2.20010306012957.00c7cf00@shell16.ba.best.com>; from checker@d6.com on Tue, Mar 06, 2001 at 01:39:33AM -0800
> [Curried functions, functions returning functions, and all that]
> I have a feeling I'm missing something fundamental here, or else the
> definition of a function internally has a field for its arity and it
> just partially applies until it reaches the total arity.
This is pretty much how it works internally, although the precise
mechanisms used are slightly different in the bytecode interpreter and
in the native-code compiler. Viewed from the outside, it maintains
the illusion that every function takes only one parameter,
and fun x y -> ... behaves like fun x -> (fun y -> ...).
- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-03-06 16:31 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-06 9:39 Chris Hecker
2001-03-06 10:22 ` Thomas Colcombet
2001-03-06 10:33 ` Bruce Hoult
2001-03-06 10:50 ` Remi VANICAT
2001-03-06 16:31 ` Xavier Leroy [this message]
2001-03-06 17:41 ` Chris Hecker
2001-03-06 18:43 ` Sven LUTHER
2001-03-06 19:09 ` Marcin 'Qrczak' Kowalczyk
2001-03-06 20:14 ` Chris Hecker
2001-03-06 21:39 ` Marcin 'Qrczak' Kowalczyk
2001-03-06 23:23 ` Chris Hecker
2001-03-06 23:45 ` Marcin 'Qrczak' Kowalczyk
2001-03-07 1:10 ` Chris Hecker
2001-03-07 8:44 ` Marcin 'Qrczak' Kowalczyk
2001-03-06 23:51 ` Chris Hecker
2001-03-06 10:16 Adam Granicz
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=20010306173150.A12522@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=checker@d6.com \
/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).