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 90A1BBC75 for ; Tue, 22 Feb 2005 03:45:52 +0100 (CET) Received: from mail.cs.unm.edu (mail.cs.unm.edu [64.106.20.33]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1M2jpQ6014844 for ; Tue, 22 Feb 2005 03:45:52 +0100 Received: from localhost (localhost [127.0.0.1]) by mail.cs.unm.edu (Postfix) with ESMTP id 15BAEE40D2; Mon, 21 Feb 2005 19:35:46 -0700 (MST) Received: from mail.cs.unm.edu ([127.0.0.1]) by localhost (mail [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 16175-07; Mon, 21 Feb 2005 19:35:45 -0700 (MST) Received: from [192.168.0.2] (pcp09983606pcs.svaley01.nm.comcast.net [68.35.58.177]) by mail.cs.unm.edu (Postfix) with ESMTP id 8D4D7E40C8; Mon, 21 Feb 2005 19:35:45 -0700 (MST) In-Reply-To: References: <20050205000208.GB1364@first.in-berlin.de> <3a2f4a1305020508377ec6ddaf@mail.gmail.com> Mime-Version: 1.0 (Apple Message framework v619.2) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <90118fcfddc239a0e5c9d949c5b39c42@cs.unm.edu> Content-Transfer-Encoding: 7bit Cc: caml-list@yquem.inria.fr From: "William D.Neumann" Subject: Re: [Caml-list] OCaml && COCOA-Environment (Mac-OS-X/GUI) Date: Mon, 21 Feb 2005 19:45:40 -0700 To: Mike Hamburg X-Mailer: Apple Mail (2.619.2) X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.unm.edu X-Miltered: at nez-perce with ID 421A9CDF.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 wrote:01 parsing:01 bindings:01 o'caml:01 resurrect:01 o'caml:01 haskell:01 sourceforge:01 cocoa:98 ...:98 ...:98 exception:01 compile:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Feb 5, 2005, at 12:51 PM, Mike Hamburg wrote: > 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. Have any of you taken a look at the work done for the Haskell to Objective-C Binding . It seems to be a bit stagnant, but they may have some insight to offer... William D. Neumann "You've got Rita Marlowe in the palm of your hand." "Palm of my hand? You haven't seen Rita Marlowe..." -- Will Success Spoil Rock Hunter?