English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

Browse thread
[Caml-list] currying...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-03-06 (19:18)
From: qrczak@k...
Subject: Re: [Caml-list] currying...
Tue, 06 Mar 2001 09:41:38 -0800, Chris Hecker <checker@d6.com> pisze:

> Now my question is, is there any way to introspect to get at the
> arity information?

You shouldn't need it. It's an implementation detail and doesn't have
to have any meaning. It should never be used to drive the semantics -
code should behave in the same way no matter how a function is built

AFAIK this internal "uncurrying" is limited to a constant (up to 5
arguments or something). Above that functions are really implemented
as functions returning functions, in groups of 5 arguments. There
might be also differences between native code and bytecode.

> Is int -> int -> int typechecked _exactly_ like int -> (int -> int)?


 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
  ^^                      SYGNATURA ZASTĘPCZA

To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr