Interfacing haskell with object-oriented languages

Authors:
André T. H. Pang;Manuel M. T. Chakravarty
Affiliations:
School of Computer Science & Engineering, University of New South Wales, Sydney, Australia;School of Computer Science & Engineering, University of New South Wales, Sydney, Australia
Venue:
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Year:
2003

Citing 6
Cited 1

H/Direct: a binary foreign language interface for Haskell

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Calling hell from heaven and heaven from hell

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Type Classes with Functional Dependencies

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
C - HASKELL, or Yet Another Interfacing Tool

IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Scripting COM Components in Haskell

ICSR '98 Proceedings of the 5th International Conference on Software Reuse

wxHaskell: a portable and concise GUI library for haskell

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell

Quantified Score

Hi-index	0.00

Visualization

Abstract

The interfacing of object-oriented languages with functional languages, in general, and with Haskell, in particular, has received a considerable amount of attention. Previous work, including Lambada, a Haskell to Java bridge, showed how an object-oriented class hierarchy can be modeled using Haskell type classes, such that Java libraries can be used conveniently from Haskell. The present paper extends this previous work in two major directions. Firstly, we describe a new implementation of object-oriented style method calls and overloading in Haskell, using multi-parameter type classes and functional dependencies. This enables calling of a foreign object’s methods in a syntactically convenient, type-safe manner. Secondly, we sketch an approach to automating the generation of library bindings using compile-time meta-programming for object-oriented frameworks featuring reflection. We have evaluated the practicality of our approach by implementing a Haskell binding to the Objective-C language on the Mac OS X platform.