research-article

OCaml-Java: an ML implementation for the Java ecosystem

Author:

PPPJ '13: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

Pages 45 - 56

https://doi.org/10.1145/2500828.2500833

Published: 11 September 2013 Publication History

Get Access

Abstract

Developing complex applications often requires to mix several languages, in order to take advantage of each language strengths in the various parts of the source code. However, this imposes to transfer data from one language to another one; the problem is then not only the ability to exchange data, but to do so in a way that respects the idioms of the various languages involved.

Failing to expose the data in a way that feels natural to the seasoned developer of a given language will import the programming style and even paradigm from one language into the other one, which somewhat defeats the purpose of using different languages for different tasks.

The ocamlwrap tool presented in this article generates class definitions from OCaml type definitions. These classes allow the Java developer to manipulate data structures produced by the OCaml-Java runtime through usual Java patterns.

References

[1]

A. Appleyard: A .NET Bridge for Haskell: Dancing with the Devil, 2007. http://www.haskell.org/haskellwiki/Salsa

Google Scholar

[2]

N. Benton, and A. Kennedy: Interlanguage working without tears: blending sml with Java, Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (ICFP '99), 1999.

Digital Library

Google Scholar

[3]

N. Benton, A. Kennedy, and C. V. Russo: Adventures in interoperability: the sml.NET experience, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP'04), 2004.

Digital Library

Google Scholar

[4]

E. Chailloux, G. Henry, and R. Montelatici: Mixing the Objective Caml and C# Programming Models in the .NET Framework, Workshop on Multiparadigm Programming with OO Languages (MPOOL), 2004.

Google Scholar

[5]

E. Chailloux, G. Henry, and R. Montelatici: Interopérabilité des langages fonctionnels: applications en Objective Caml, Technique et Sciences Informatiques Vol 24/9, 2005.

Google Scholar

[6]

X. Clerc: OCaml-Java: OCaml on the jvm. Trends in Functional Programming, Lecture Notes in Computer Science Volume 7829, 2013.

Google Scholar

[7]

Gamma, Erich, et al. Design patterns: Abstraction and reuse of object-oriented design. Springer Berlin Heidelberg, 2001.

Google Scholar

[8]

X. Leroy: The camljava project, http://forge.ocamlcore.org/projects/camljava/

Google Scholar

[9]

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy, and J. Vouillon: The OCaml system release 4.00. Documentation and user's manual, July 2012.

Google Scholar

[10]

M. Odersky, et al.: The Scala language specification, 2004.

Google Scholar

[11]

swig: Simplified Wrapper and Interface Generator, http://www.swig.org.

Google Scholar

[12]

The Apache Foundation: the Thrift projet, http://thrift.apache.org.

Google Scholar

Cited By

View all

Ali KLai XLuo ZLhotak ODolby JTip F(2021)A Study of Call Graph Construction for JVM-Hosted LanguagesIEEE Transactions on Software Engineering10.1109/TSE.2019.295692547:12(2644-2666)Online publication date: 1-Dec-2021
https://doi.org/10.1109/TSE.2019.2956925
Philippe JLoulergue F(2018)Towards the Generation of Correct Java Programs (Research Poster)2018 International Conference on High Performance Computing & Simulation (HPCS)10.1109/HPCS.2018.00166(1055-1056)Online publication date: Jul-2018
https://doi.org/10.1109/HPCS.2018.00166

Index Terms

OCaml-Java: an ML implementation for the Java ecosystem
1. Information systems
  1. Data management systems
    1. Information integration
    2. Middleware for databases
      1. Object-relational mapping facilities

Recommendations

Compile-time type-checking for custom type qualifiers in Java
OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion

We have created a system that enables programmers to add custom type qualifiers to the Java language in a backward-compatible way. The system allows programmers to write type qualifiers in their programs and to create compiler plug-ins that enforce the ...
OCaml-Java: OCaml on the JVM
TFP 2012: Proceedings of the 2012 Conference on Trends in Functional Programming - Volume 7829

This article presents the OCaml-Java project whose goal is to allow compilation of OCaml sources into Java bytecodes. The ability to run OCaml code on a Java virtual machine provides the developer with means to leverage the strengths of the Java ...
Compile-time type-checking for custom type qualifiers in Java
OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion

We have created a system that enables programmers to add custom type qualifiers to the Java language in a backward-compatible way. The system allows programmers to write type qualifiers in their programs and to create compiler plug-ins that enforce the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PPPJ '13: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools

September 2013

188 pages

ISBN:9781450321112

DOI:10.1145/2500828

General Chair:
Martin Plümicke
Duale Hochschule Baden-Württemberg, Germany
,
Program Chair:
Walter Binder
University of Lugano, Switzerland

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 September 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

PPPJ '13

Sponsor:

PPPJ '13: virtual machines, languages, and tools

September 11 - 13, 2013

Stuttgart, Germany

Acceptance Rates

Overall Acceptance Rate 29 of 58 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
547
Total Downloads

Downloads (Last 12 months)47
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ali KLai XLuo ZLhotak ODolby JTip F(2021)A Study of Call Graph Construction for JVM-Hosted LanguagesIEEE Transactions on Software Engineering10.1109/TSE.2019.295692547:12(2644-2666)Online publication date: 1-Dec-2021
https://doi.org/10.1109/TSE.2019.2956925
Philippe JLoulergue F(2018)Towards the Generation of Correct Java Programs (Research Poster)2018 International Conference on High Performance Computing & Simulation (HPCS)10.1109/HPCS.2018.00166(1055-1056)Online publication date: Jul-2018
https://doi.org/10.1109/HPCS.2018.00166

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Compile-time type-checking for custom type qualifiers in Java

OCaml-Java: OCaml on the JVM

Compile-time type-checking for custom type qualifiers in Java