On Wed, Feb 16, 2005 at 07:11:03PM -0500, Mike Hamburg wrote:
> I don't know of any way to tell a C function typing information.  Maybe 
> with GCaml, but I haven't seen a new version of that in a long time.  
> Even to get such information from within Caml sounds dubious; it seems 
> like a Haskell-type-class-esque solution would be needed.
> 
> Anyway, is the Objective-C serialization safe?  This sounds unlikely to 
> me...

Safe... I think so.
But type safe?!
At least as typesafe as a C-system can be. ;-)

I will explore this in more detail in the next weeks.
I than may say something here in the list, if it matches
the needs of the discussions then (or when I may started
to write some code to marriage Objcetive-C and OCaml (for using
OCaml on Cocoa).

IMHO here are some other people on the list who has explored
ObjC in more detail. I will do that during the next few weeks.

Ciao,
   Oliver