From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
To: nick.name@inwind.it
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Is arrow programming impossible in ocaml?
Date: Wed, 15 Oct 2003 09:22:06 +0900 [thread overview]
Message-ID: <20031015092206F.garrigue@kurims.kyoto-u.ac.jp> (raw)
In-Reply-To: <200310141326.22497.nick.name@inwind.it>
From: Nick Name <nick.name@inwind.it>
> 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
> etc.
>
> Do anyone see another solution?
I'm afraid you will have to state in more detail what you want to do.
Or to show some Haskell code.
What you try to do may or may not be possible, but I don't think that
the value restriction is essential to your problem.
In a first step I suppose you could assume that you have no
polymorphic identity, just identity functions at every type.
Jacques
-------------------
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
next prev parent reply other threads:[~2003-10-15 0:22 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-13 23:59 Nick Name
2003-10-14 1:33 ` Oleg Trott
2003-10-14 3:02 ` Jacques Garrigue
2003-10-14 11:26 ` Nick Name
2003-10-15 0:22 ` Jacques Garrigue [this message]
2003-10-15 1:53 ` Nick Name
2003-10-15 2:20 ` Jacques Garrigue
2003-10-15 11:39 ` skaller
2003-10-14 10:37 ` skaller
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=20031015092206F.garrigue@kurims.kyoto-u.ac.jp \
--to=garrigue@kurims.kyoto-u.ac.jp \
--cc=caml-list@inria.fr \
--cc=nick.name@inwind.it \
/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).