From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA17537; Tue, 6 Mar 2001 20:18:27 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA17553 for ; Tue, 6 Mar 2001 20:18:26 +0100 (MET) Received: from mail.mimuw.edu.pl (pn123.warszawa.cvx.ppp.tpnet.pl [213.76.109.123]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f26JDsb04569 for ; Tue, 6 Mar 2001 20:13:55 +0100 (MET) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id UAA31599 for caml-list@inria.fr; Tue, 6 Mar 2001 20:09:31 +0100 X-Authentication-Warning: qrnik.zagroda: news set sender to qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) using -f From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) Subject: Re: [Caml-list] currying... Date: 6 Mar 2001 19:09:28 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <4.3.2.7.2.20010306012957.00c7cf00@shell16.ba.best.com> <4.3.2.7.2.20010306012957.00c7cf00@shell16.ba.best.com> <4.3.2.7.2.20010306093019.00e181f0@shell16.ba.best.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 983905768 31523 192.168.0.1 (6 Mar 2001 19:09:28 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 6 Mar 2001 19:09:28 GMT User-Agent: slrn/0.9.6.3 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Tue, 06 Mar 2001 09:41:38 -0800, Chris Hecker 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 internally. 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)? Yes. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr