Loading...
Please wait, while we are loading the content...
Similar Documents
OCaml-Java: Typing Java Accesses from OCaml Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Clerc, Xavier |
| Copyright Year | 2013 |
| Abstract | Functional languages, although they often enable great developer productivity and ease software maintenance, are commonly hampered by smaller communities and fewer industrial-strength players when compared to mainstream languages. To partially overcome these problems, it is usual to resort to a form of interoperability that allows a functional language to take advantage of libraries originally written for another language. Initially driven by practical needs, the problem of language interoperability is also fertile in that it induce the designer to develop a better understanding of the differences, and respective strengths and weaknesses of the languages involved. In this article, we present an extension of the OCaml type system that allows the developer to manipulate Java instances inside OCaml programs. This extension is essentially based on existing features of the OCaml type system, leveraging phantom typing, subtyping, polymorphic variants, and value-directed typing to encode Java types. Combined to this encoding, some lightweight notations allow the developer to easily create and manipulate Java instances from pure OCaml code. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.ru.nl/P.Achten/IFL2013/symposium_proceedings_IFL2013/ifl2013_submission_17.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
