From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 64F1BBC69 for ; Thu, 22 Nov 2007 17:41:23 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAK4/RUfUnw6Elmdsb2JhbACCOYx3AQEHBAYiBw X-IronPort-AV: E=Sophos;i="4.21,452,1188770400"; d="scan'208";a="4514912" Received: from pih-relay05.plus.net ([212.159.14.132]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Nov 2007 17:41:23 +0100 Received: from [80.229.56.224] (helo=beast.local) by pih-relay05.plus.net with esmtp (Exim) id 1IvF7A-000391-H2 for caml-list@yquem.inria.fr; Thu, 22 Nov 2007 16:41:20 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] caml and python Date: Thu, 22 Nov 2007 16:32:29 +0000 User-Agent: KMail/1.9.5 References: <474481A0.2000703@functionality.de> <4744C062.1020605@functionality.de> <47459E87.4000504@fmf.uni-lj.si> In-Reply-To: <47459E87.4000504@fmf.uni-lj.si> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-2" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200711221632.29254.jon@ffconsultancy.com> X-Spam: no; 0.00; andrej:01 bytecode:01 ocaml:01 compilation:01 ocaml:01 smoke:98 smoke:98 presenta:98 frog:98 wrote:01 binaries:01 caml-list:01 tex:01 caml:02 objects:02 On Thursday 22 November 2007 15:21, Andrej Bauer wrote: > My inquiry was actually geared towards getting some sort of > Mathematica-like front-end environment that could link to a > computational "core" (or cores) running as separate processes. Are there > any pooor man's frontends out there? I am aware of Texmacs and Sage. > Texmacs strikes me a bit idiosyncratic, while Sage scares me in sheer > size. I just want a nice little general-purpose frontend that can do an > interactive loop and show pictures and math formulas as results. We have a complete typesetting engine using TeX fonts with Mathematica's layout and hardware-accelerated rendering using OpenGL via Smoke. This is not yet in the free bytecode edition of Smoke but if anyone is interested I'll gladly ship it. Smoke includes picking (selection of objects with the mouse) so you can easily write a GUI front-end with typesetting using it (we already did this for Presenta). Smoke is also cross platform, so the result would run out of the box on Linux, Mac OS X and Windows. We also now have OCaml compilation environments on all of these platforms, so I'll get binaries for everything up on our site ASAP. I am interested in the idea of writing a cross platform typeset IDE building upon OCaml using exactly this technology. We should collaborate! -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e