H/Direct: a binary foreign language interface for Haskell

H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Language (IDL) to Haskell stub code that marshals data across the interface. This approach allows Haskell to call both C and COM, and allows a Haskell component to be wrapped in a C or COM interface. IDL is a complex language and language mappings for IDL are usually described informally. In contrast, we provide a relatively formal and precise definition of the mapping between Haskell and IDL.

[1]  Raghu V. Hudli,et al.  CORBA fundamentals and programming , 1996 .

[2]  Dale Rogerson,et al.  Inside COM , 1997 .

[3]  Simon Peyton Jones,et al.  Green card: a foreign-language interface for Haskell , 1997 .

[4]  Simon L. Peyton Jones,et al.  Scripting COM components in Haskell , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[5]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[6]  Keith Duddy,et al.  Understanding any IDL lesson one: DCE and CORBA , 1996, Proceedings of Third International Workshop on Services in Distributed and Networked Environments.