From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id BC1F2BC57 for ; Tue, 6 Jul 2010 23:07:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai4EABI4M0xV2gB5Z2dsb2JhbACDHZx7DQoLGCKvMZEsgSmDCnIEkV4 X-IronPort-AV: E=Sophos;i="4.53,548,1272837600"; d="scan'208";a="62840551" Received: from emailfrontal2.citycable.ch ([85.218.0.121]) by mail1-smtp-roc.national.inria.fr with SMTP; 06 Jul 2010 23:07:38 +0200 Received: from [192.168.1.27] (LVelizy-156-45-9-48.w80-11.abo.wanadoo.fr [80.11.30.48]) (Authenticated sender: guillaume.yziquel@citycable.ch) by emailfrontal2.citycable.ch (Postfix) with ESMTPA id 6E42B83566B; Tue, 6 Jul 2010 23:07:30 +0200 (CEST) Message-ID: <4C3399B8.90401@citycable.ch> Date: Tue, 06 Jul 2010 23:01:44 +0200 From: Guillaume Yziquel Reply-To: guillaume.yziquel@citycable.ch User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090707) MIME-Version: 1.0 To: Thomas Fischbacher Cc: Mehdi Dogguy , OCaml List Subject: Re: [Caml-list] adding a scripting language to an ocaml program References: <4C31DABD.3060107@soton.ac.uk> <4C3204AF.8050608@pps.jussieu.fr> <4C3208C2.3090803@soton.ac.uk> In-Reply-To: <4C3208C2.3090803@soton.ac.uk> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; guillaume:01 guillaume:01 ocaml:01 varargs:01 syntax:01 ocaml:01 inference:01 syntax:01 inference:01 rewrite:01 typing:01 caml-list:01 functions:01 awkward:02 api:02 Thomas Fischbacher a =C3=A9crit : >=20 > The last thing I remember is that Guillaume had contacted me about > wanting to re-write it, but not much seems to have happened on that > front so far. Well, things have happened on this front so far. And a few people have=20 the code that I've written. Unfortunately, for rather awkward reasons, I=20 am not in a position to release it. But hope to be in the rather not=20 distant future. It's basically a rewrite. It works, but isn't fully featured yet. I=20 believe memory management is done properly. There are also some C=20 varargs functions in the Python API that have been properly binded with=20 the libavr library (or something called like that). A (yet basic) syntax=20 extension allows to write things like: module X =3D python module mypython module It does introspection and dumps the OCaml code needed to access values=20 of the module. I've been hitting type inference issues in Python for=20 this. But there is some work (like shedskin) to capitalise in order to=20 make the syntax extension more interesting when it comes to typing. And there's a Debian package, also. Do not hold your breath on this code, as a release might take a while. But if someone is willing to carve out of shedskin the code needed to do=20 type inference and bind it to OCaml, that would be a nice contribution=20 to the syntax extension. I do not have much time available on this one, and I currently have=20 other interests. But if someone is interested in the code, please email=20 me to see what is possible to do... All the best, Guillaume Yziquel. --=20 Guillaume Yziquel http://yziquel.homelinux.org/