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 NAA16556; Tue, 14 Oct 2003 13:21:32 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA02416 for ; Tue, 14 Oct 2003 13:21:31 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from vsmtp9.tin.it (vsmtp9.tin.it [212.216.176.185] (may be forged)) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h9EBLU120712 for ; Tue, 14 Oct 2003 13:21:31 +0200 (MET DST) Received: from vsmtp13.tin.it (212.216.176.207) by vsmtp9.tin.it (7.0.019) id 3F1BE736035D6515 for caml-list@inria.fr; Tue, 14 Oct 2003 13:21:30 +0200 Received: from furia (80.181.248.120) by vsmtp13.tin.it (7.0.019) id 3F825347011AD89D for caml-list@inria.fr; Tue, 14 Oct 2003 13:21:30 +0200 Received: from localhost ([127.0.0.1]) by furia with esmtp (Exim 3.36 #1 (Debian)) id 1A9NJm-0000Rj-00 for ; Tue, 14 Oct 2003 13:26:22 +0200 From: Nick Name To: caml-list@inria.fr Subject: Re: [Caml-list] Is arrow programming impossible in ocaml? Date: Tue, 14 Oct 2003 13:26:22 +0200 User-Agent: KMail/1.5.3 References: <200310140159.20515.nick.name@inwind.it> <200310132133.13347.oleg_trott@columbia.edu> <20031014120246F.garrigue@kurims.kyoto-u.ac.jp> In-Reply-To: <20031014120246F.garrigue@kurims.kyoto-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200310141326.22497.nick.name@inwind.it> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 jacques:01 combinator:01 seq:01 seq:01 ocaml:01 garrigue:01 complex:03 constructor:03 wich:03 wich:03 arrow:95 let:04 parameter:04 functions:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alle 05:02, marted=EC 14 ottobre 2003, Jacques Garrigue ha scritto: > But as long as you represent arrows by normal functions (as this > seems to be the case in the paper), eta-expanding should solve the > problem. > Unfortunately I can't; I am using arrows to hide a function-like=20 structure wich is more complex than functions > =A0 let a y =3D arr (fun x -> x) y > > Not also that there is no problem if Arr is a constructor: I can't do this in general, either, because I need the (>>>) combinator,=20 wich represents (reverse) function composition, so type ('a,'b) t =3D Arr of ('a -> 'b) | Seq of ((('a,'c) t) * (('c,'b) t)) where Seq is the composition, is not writeable because I would need to=20 make 'c a parameter for t, and then ('a,'c) t would no longer be valid=20 etc. Do anyone see another solution? Thanks & bye Vincenzo ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners