Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Safe marshall?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-18 (08:39)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] Safe marshall?
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.