Yes, there is FFI code to expose Cocoa components via OCaml. Support is nowhere near complete for the entire iOS API, and it isn't factored into a reusable library, but it seems most sample apps have a nice wrapper allowing you to specify any additional component interfaces in OCaml itself without dropping down to Obj-C. Works for a nice class of applications right now, including those based on OpenGLES.