Version 6 (modified by amarqueslee, 2 years ago) (diff)


Haskell Objective-C FFI: Foreign Declarations

Objective-C is a proper superset of plain C. Consequently, we want all the Haskell FFI foreign declarations for C unchanged when dealing with Objective-C. They use the ccall calling convention as usual. In addition, we introduce the new objc calling conventions for new declarations specific to Objective-C.

Summary of foreign declarations

With the current FFI we supply definitions to marshal foreign functions and basic types. Since this extension relates to classes, and since there's lots of OO languages out there, it would be nice to set the extension up in such a way that other OO FFI extensions look like it. Keeping this in mind, working with Obj-C classes in Haskell might look like:


  • Import an ObjC class (may be defined in Haskell):
    foreign import class objc "<optional header> <optional implementation> <class name>" tycon -- As a starting point, maybe derive the tycon from the class name?
    The newly introduced type tycon can be marshalled to and from ObjC land; i.e., it is a foreign type in the sense of Section 3.2 of the Haskell FFI.
  • Import of an ObjC selector (maybe synthesized from a property):
    foreign import objc "<optional synthesize> <selector>" varid :: <type>
    there can be more than one foreign import declaration for one selector with different Haskell identifiers and types. Note that, in the worst case we could just provide a function of type String -> IO ObjCSel, since Objective-C selectors are completely type-unsafe anyway.
  • Import an ObjC constructor:
    foreign import classConstructor objc "<constructor method name>" initializer
    Note that for Objective-C we can get away without a separate constructor by calling methods on classes. However, it's a nice-to-have as part of bridging to OO languages. Perhaps we can also build in memory management for objects returned from these tagged constructors...


  • Export a set of Haskell functions (pertaining to a certain datatype) as a class:
    foreign export class objc tycon "<superclass>" <list of initializer> <list of method>
    The Haskell-defined tycon would be type-constrained to have certain properties (yet to be specified). initializers are used to provide constructors of the form
    ... -> IO tycon
    and methods look like
     ObjCPtr super -> tycon -> ... -> IO (tycon, b)
    This approach would pull in superclass as a side-effect, and client code could work with it, for now pretending it's some unrelated class. This should give method implementations an Objective-C feel.
  • Export of a method implementation:
    foreign export objc "<optional header> +/-[<class> <selector>]" varid :: <type>