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 WAA13095; Wed, 8 May 2002 22:40:51 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA13117 for ; Wed, 8 May 2002 22:40:50 +0200 (MET DST) Received: from smtp015.mail.yahoo.com (smtp015.mail.yahoo.com [216.136.173.59]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g48KenD03653 for ; Wed, 8 May 2002 22:40:49 +0200 (MET DST) Received: from pa-murraysville3a-193.pit.adelphia.net (HELO gs227) (samccpa@68.65.130.193 with login) by smtp.mail.vip.sc5.yahoo.com with SMTP; 8 May 2002 20:40:48 -0000 From: "Stephen McCracken" To: Subject: [Caml-list] nlffi-style foreign interface for ocaml? Date: Wed, 8 May 2002 16:51:29 -0400 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, everyone. I recently read Matthias Blume's paper about the NLFFI foreign interface for SML/NJ (http://cm.bell-labs.com/who/blume/papers/nlffi.pdf). NLFFI encodes the C type system in ML using phantom types. Then, with some compiler extensions for dealing with C values, an ML program has direct access to native C functions and data. I like the design of NLFFI, and I was wondering if anyone has considered implementing something similar for ocaml. Thanks, --Steve ------------------- 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