blob: 35faa73fd2cc98463cbb17050a8f7c7340b81cfa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
<h2>An Experimental CORBA binding and IDL mapping for ML</h2>
<p>
The future version of Proof General may use CORBA as a communication
mechanism between different components. CORBA is also used by the
Unix/Linux desktops KDE and GNOME, which use the free implementations
MICO and ORBIT respectively. We would like to be able to use ML to
write to interface with other CORBA components on the desktop and
network. For this a binding for ORB functions in ML is needed, as well
as perhaps a mapping from the CORBA IDL into Standard ML, so that
we can write CORBA enabled applications in SML.
</p>
<p>
This project involves the design and implementation of an experimental
version (subset of features) of such a system, using one of the
open-source ML compilers such as Moscow ML, Poly/ML or OCaml (in fact,
there is already some handling of COM in OCaml which can be used to
access an ORB). Essentially, we want to analyse the feasibility
and performance of using a CORBA architecture for Proof General.
</p>
<p>
An CORBA binding for Haskell would also be an interesting project.
</p>
<p>
See
<a href="http://www.cl.cam.ac.uk/~cvr21/projects.html">Claudio Russo's</a>
project suggestion for a similar proposal, including useful links.
</p>
<p>
<b>Skills:</b>
Good ML, C, C++, programming skills and understanding of abstraction
mechanisms, basic understanding of CORBA and willing to get to
grasps with some of MICO or ORBIT.
</p><p>
<b>Proposers:</b>
<a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a> and
<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
</p>
|
