From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA25268; Thu, 26 Aug 2004 20:05:36 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA24809 for ; Thu, 26 Aug 2004 20:05:33 +0200 (MET DST) Received: from smtpout.mac.com (smtpout.mac.com [17.250.248.46]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7QI5WPW020593 for ; Thu, 26 Aug 2004 20:05:33 +0200 Received: from mac.com (smtpin01-en2 [10.13.10.146]) by smtpout.mac.com (8.12.6/MantshX 2.0) with ESMTP id i7QI5DtR029735; Thu, 26 Aug 2004 11:05:14 -0700 (PDT) Received: from [192.168.1.100] (dsl081-080-123.lax1.dsl.speakeasy.net [64.81.80.123]) (authenticated bits=0) by mac.com (Xserve/smtpin01/MantshX 4.0) with ESMTP id i7QI5BCv015911; Thu, 26 Aug 2004 11:05:11 -0700 (PDT) In-Reply-To: References: <1093514139.15255.692.camel@pelican.wigram> Mime-Version: 1.0 (Apple Message framework v619) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <71B2973D-F78A-11D8-95A4-000A27DEEC20@mac.com> Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr From: Paul Snively Subject: Re: [Caml-list] Re: bytecode and native code at once Date: Thu, 26 Aug 2004 11:04:59 -0700 To: mikel evins X-Pgp-Agent: GPGMail 1.0.2 X-Mailer: Apple Mail (2.619) X-Miltered: at nez-perce with ID 412E266C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 hash:01 cornell:01 stumbling:01 stab:01 objective-c:01 objective-c:01 annotations:01 ffi:01 expressive:01 runtime:01 asmdynlink:01 cdk:01 asmdynlink:01 cdk:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Aug 26, 2004, at 10:31 AM, mikel evins wrote: > Hiya, Paul! What are you up to? (Interesting to see your name floating > around the Ocaml lists). > Day job: conditional access systems for video on demand set-top boxes. C++. Personal: Finally picking up steam on developing Unreal technology archive reading/writing libraries in cross-platform C++, with an eye towards reimplementing UnrealEd on Mac and Windows (yeah, I know). Studying stacks and stacks of books on type theory and language design. Gearing up to take some tutelage, and audit some Winter- or Spring-term courses at CalTech on with an eye toward its use as a language design workbench, as was done for . I've been O'Camling off and on (mostly off) for almost three years now. Discovered it when I stumbled across back then. Started to get more serious about it about a year and a half ago when the Mac OS X support seemed to get solid. Did a presentation at the first , which was, I felt, well-received, and certainly fell into the you-learn-a-lot-by-teaching category. Finally, the one thing that's a stumbling block for most folks in our circle when talking about O'Caml is the lack of platform bindings. Mike Hamburg has taken a good stab at an O'Caml/Objective-C gateway. That really needs finishing, and I had begun thinking about how to automatically generate actual OS bindings by parsing Objective-C headers and providing any necessary external annotations a la the Forklift FFI, but I haven't gotten anywhere with that beyond thinking about it. Anyway, I now take O'Caml very, very seriously. I believe it to be a perfectly reasonable alternative to C++ for folks who want expressive power, safety, reasonable resource consumption, and runtime performance. Clearly there are areas in which there's still more work to be done, cf. the conversations about floating-point representation for high-performance 3D programming, or about memory-mapped files and their interaction with the garbage collector. Nothing you're not familiar with from your extensive work in Common Lisp and Mac OS X. :-) Your turn: what's your O'Caml story? >> Is there some reason that asmdynlink, which is part of the Caml >> Development Kit, doesn't address this? > > I don't know. All I was saying is that I knew nothing about it, > because I had devoted no attention to the issue. > Right; fair enough. You can find the CDK, including asmdynlink, at . >> >> I also think that once MetaOCaml gets its native compiler done that >> it will help answer the question as well, among others. I find >> MetaOCaml very exciting! > > Yeah, I heard the same thing from Adam Megacz. I suppose I oughta > check it out. > is the place. I don't know what the status of their native-code support is, though; it's been a long time coming. > --me > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: > http://caml.inria.fr > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: > http://caml.inria.fr/FAQ/ > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Best regards, Paul -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (Darwin) iEYEARECAAYFAkEuJlMACgkQbot1wzHBQBX3TwCgsxkBLMO4T1lAMFUGkLt6SG3h T7IAnjRhsCoT1+/zXyOJC5iV9wulwNFe =t4op -----END PGP SIGNATURE----- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners