Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Is arrow programming impossible in ocaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-10-14 (11:21)
From: Nick Name <>
Subject: Re: [Caml-list] Is arrow programming impossible in ocaml?
Alle 05:02, martedì 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 
structure wich is more complex than functions

>   let a y = 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, 
wich represents (reverse) function composition, so

type ('a,'b) t = 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 
make 'c a parameter for t, and then ('a,'c) t would no longer be valid 

Do anyone see another solution?

Thanks & bye


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: