From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 1C4AFBC88 for ; Mon, 7 Feb 2005 03:24:54 +0100 (CET) Received: from first.in-berlin.de (dialin-145-254-062-095.arcor-ip.net [145.254.62.95]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j172OoIv001554 for ; Mon, 7 Feb 2005 03:24:52 +0100 Received: by first.in-berlin.de (Postfix, from userid 501) id 03835A8C39; Mon, 7 Feb 2005 03:24:49 +0100 (CET) Date: Mon, 7 Feb 2005 03:24:49 +0100 From: Oliver Bandel To: Paul Snively Cc: Mike Hamburg , ml-labo@epimac.org, Julien Roussel , caml-list@yquem.inria.fr, tipoix@free.fr Subject: Re: [Caml-list] OCaml && COCOA-Environment (Mac-OS-X/GUI) Message-ID: <20050207022449.GB1631@first.in-berlin.de> References: <20050205000208.GB1364@first.in-berlin.de> <3a2f4a1305020508377ec6ddaf@mail.gmail.com> <617f41a9a7ef08a96d3bd59b00a9ae47@mac.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <617f41a9a7ef08a96d3bd59b00a9ae47@mac.com> User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce with ID 4206D172.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; oliver:01 bandel:01 oliver:01 in-berlin:01 caml-list:01 ocaml:01 ocaml:01 wrote:01 hash:01 wrote:01 o'caml:01 invocation:01 o'caml:01 parsing:01 bindings:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Hi, I had looked shortly at the code... but it seems I have to learn a lot more of OCaml-C-Binding-stuff as well as Objective-C. So I started to learn again Objective-C in more detail. As far as I can see, the Classes of the Cocoa-Lib are very powerful!!! I will start to write some small Applications in Objective-C under OS-X as soon as possible. But bigger stuff I would prefer to write in OCaml. If I maybe will have enough experience with ObjC and COCOA, I will try to marriage it with the Ocaml-C-binding (but this is new to me too). If I may have some time to visit the code, or to test it with expermimental programs, I can look into it. But now it seems to me, that I have to learn the basics of these different worlds in more detail. I came from ANSI-C and have done the most work on Linux. Then I have done a lot of Perl-programming on Linux too. But the Mac-OS-World is different (but very impressing, what they are doing there... they seem to have a lot of that NeXt-Step-Stuff integrated into OS-X!) I hope that there are some more people out there who are interested to - maybe - start a project to integrate COCOA and OCaml. It seems to me, that a powerful library for OS-X-GUI (COCOA) for OCaml could be a nice thing for many people. Are there more OS-X developers or are there more OCaml-developers? And how many OCaml-developers are working at OS-X? And if there woule be such a binding... ?! Best regards.... ... I hope to have enough time for doing more ObjC... Ciao, Oliver On Sun, Feb 06, 2005 at 01:04:20PM -0800, Paul Snively wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > > On Feb 5, 2005, at 11:51 AM, Mike Hamburg wrote: > > >Additionally, I developed a very rudimentary binding. It allowed the > >user to call Cocoa methods from O'Caml, but it had an enormous > >overhead: each method invocation from O'Caml had the overhead of about > >5 method calls from the C glue. There was a (somewhat more efficient) > >Cocoa-to-O'Caml call method, but I don't remember if I ever finished > >it. > > > >Paul Snively, Nick Burlett and I were working on a more efficient > >bridge, by means of parsing Cocoa headers to automatically generate > >typed bindings which would look like objects to O'Caml, but the > >project fizzled without any real results. Perhaps someone with more > >FrontC knowledge could resurrect it. The existing code is not > >strongly typed: you can attempt to pass the wrong number or type of > >arguments to a method, and it will raise an O'Caml exception instead > >of rejecting it at compile time. > > > >The O'Caml-to-Cocoa bridge is not online, but I can send you what code > >we have if you want. > > > Mea culpa. I'm still very interested. I can't help but think that > extending Jeff Henrikson's Forklift FFI to handle Objective-C and > marrying that to an (improved? revised?) version of your bindings > wouldn't be a big win, but I confess to having no real roadmap for how > to get there, and my Copious Free Time(tm) is rather torn between > wanting to get O'Caml going natively on OS X and wanting to plow > through TAPL and now ATITAPL and master MetaPRL and concentrate on > learning how to design modern programming languages. > > But at the very least, I'd love to see the current state of your code. > :-) > > >Mike Hamburg > > > Many thanks and best regards, > Paul > > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.0 (Darwin) > > iEYEARECAAYFAkIGhmIACgkQO3fYpochAqJ17QCdFUWvJ3ul5nvsqb7wp/GZ8khp > fVcAniTDjb+ksXRgsxAT/ty9qwCyNdR2 > =bSuT > -----END PGP SIGNATURE----- > -- "Here at michigan state university, my computational linguistics professor had us learn ocaml for the class and we used it exclusively. I like it so much better than c++! Hope this helps." (Jeff Shaw on caml-list)