You may be interested in Mercury ("a purely declarative
logic/functional language) which has such a binding to Mercury called
MCORBA. Mercury can be found via
http://www.cs.mu.oz.au/research/mercury/
and a paper describing the implementation can be found via
http://www.cs.mu.oz.au/research/mercury/information/papers.html.
Here's the abstract from the site:
MCORBA: A CORBA Binding for Mercury
David Jeffery, Tyson Dowd and Zoltan Somogyi.
MCORBA is a binding to the CORBA distributed object framework
for the purely declarative logic/functional language
Mercury. The binding preserves the referential transparency
of the language, and has several advantages over similar
bindings for other strongly typed declarative languages. As
far as we know, it is the first such binding to be
bidirectional; it allows a Mercury program both to operate
upon CORBA components and to provide services to other CORBA
components. Whereas the Haskell binding for COM maps COM
interfaces onto Haskell types, MCORBA maps CORBA interfaces
onto Mercury type classes. Our approach simplifies the
mapping, makes the implementation of CORBA's interface
inheritance straightforward, and makes it trivial for
programmers to provide several different implementations of
the same interface. It uses existential types to model the
operation of asking CORBA for an object that satisfies a
given interface but whose representation is unknown.
regards
Kevin
(who wants to be able fo interface Haskell and Mercury so that he can
efficiently append lists of fibonacci numbers ....)
Sigbjorn Finne writes:
>
> Hi Christoph,
>
. . .
>
> I played around with a CORBA (DII) binding half a year
> ago which packaged up a Haskell app as a CORBA object,
> but never got around to completing it (and I've
> subsequently lost the source :( ) Anyway, it wasn't
> more than a day's work to get that prototype to work,
> so constructing a fully functional CORBA binding should
> make for a nice student project.
>
. . .
>
> hth
> --sigbjorn
>
. . .
> > | -----Original Message-----
> > | From: Christoph Lueth [mailto:[EMAIL PROTECTED]]
> > | Sent: 31 May 2000 11:04
> > | To: [EMAIL PROTECTED]
> > | Subject: H/Direct Contact
> > |
> > |
> > |
> > | Dear Glasgow Haskell people,
> > |
> > | I have a couple of students here who want to extend H/Direct to
> > | generate support for CORBA (i.e. have it generate stubs and
> > skeletons
> > | to encapsulate Haskell programs as CORBA objects). Who is
. . .
> > | Thanks in advance for any answers.
> > |
> > | Best regards,
> > | --Christoph Lüth.
> > |
> >
>
